Geoffrey White
d2f386ccb7
CPP: Effect of changes on tests.
2019-05-01 15:56:44 +01:00
Geoffrey White
19e6b238b7
CPP: Add test cases.
2019-05-01 15:43:06 +01:00
Geoffrey White
a5b9df204b
CPP: Autoformat.
2019-05-01 13:59:28 +01:00
Jonas Jensen
9d15e67f3c
C++: Use variableAccessedAsValue in LargeParameter
...
Using `variableAccessedAsValue` fixes a FP because we can now
distinguish modifications to the parameter from modifications to data
_reachable from_ the parameter.
2019-05-01 13:58:55 +01:00
Geoffrey White
60494fd6d5
CPP: Subtle test case.
2019-05-01 13:17:11 +01:00
Geoffrey White
2ef3cc30c0
CPP: Fix for functions with no definition.
2019-05-01 13:17:11 +01:00
Geoffrey White
6f2274aa5e
CPP: Another test case.
2019-05-01 13:17:10 +01:00
Geoffrey White
32b6e9bd3c
CPP: Exclude cases where the parameter is written to.
2019-05-01 13:17:10 +01:00
Geoffrey White
54c766c622
CPP: Add more test cases for LargeParameter.ql.
2019-05-01 13:17:10 +01:00
Geoffrey White
88a0e60a2a
CPP: Un-autoformat to ease merge.
2019-05-01 13:16:46 +01:00
Jonas Jensen
490dd0e8c0
Merge pull request #1245 from geoffw0/classesmanyfields
...
CPP: Fix performance issues in ClassesWithManyFields.ql
2019-05-01 13:58:28 +02:00
Geoffrey White
d4e1bae5d5
Merge pull request #1173 from jbj/alloca-enable
...
C++: Enable cpp/alloca-in-loop on LGTM
2019-05-01 12:48:59 +01:00
Rasmus Lerchedahl Petersen
b5b2d56bfa
Add pythagorean query
2019-05-01 13:16:40 +02:00
Geoffrey White
1ee28fa15b
CPP: Add a test cases that uses restrict.
2019-05-01 11:12:07 +01:00
Geoffrey White
a749b5b6d1
CPP: Improve WrongTypeFormatArguments logic when there is more than one possible expected argument type.
2019-05-01 11:12:06 +01:00
Geoffrey White
ac277ad7ad
CPP: Fix %I length specifier.
2019-05-01 11:12:06 +01:00
Geoffrey White
98c3e1475e
CPP: Add test cases of %I64 and similar.
2019-05-01 11:12:06 +01:00
Geoffrey White
3a0dfbd00f
CPP: Normalize test cases between some of the WrongTypeFormatArguments tests.
2019-05-01 11:12:06 +01:00
Geoffrey White
efa3c77db5
CPP: Additional test cases.
2019-05-01 10:58:03 +01:00
Geoffrey White
707c9965af
CPP: Autoformat.
2019-05-01 10:36:15 +01:00
Dave Bartolomeo
de5c77c4e2
Update cpp/ql/src/Architecture/Refactoring Opportunities/ClassesWithManyFields.ql
...
Co-Authored-By: geoffw0 <40627776+geoffw0@users.noreply.github.com >
2019-05-01 10:36:00 +01:00
Geoffrey White
89c26ca394
CPP: Rewrite the VDE grouping in ClassesWithManyField.ql to be more performant (and modern).
2019-05-01 10:35:59 +01:00
Geoffrey White
0cc4b23484
CPP: QLDoc some predicates.
2019-05-01 10:35:57 +01:00
Geoffrey White
ab0505ea65
CPP: Undo autoformat so that things can merge.
2019-05-01 10:35:30 +01:00
Jonas Jensen
1203c7305a
Merge pull request #1261 from geoffw0/autoformat
...
CPP: Autoformat the Critical queries directory
2019-05-01 11:19:21 +02:00
Max Schaefer
0f10bdc173
Merge pull request #1295 from asger-semmle/typescript-full-mode-fixes
...
Typescript full mode fixes
2019-05-01 09:10:43 +01:00
Geoffrey White
09ce95575a
CPP: Fix merge.
2019-05-01 09:08:44 +01:00
Anders Schack-Mulligen
aca186bfb3
Merge pull request #1294 from yh-semmle/java12-ql
...
Java: add Java 12 support
2019-05-01 09:36:48 +02:00
Jonas Jensen
40aea2f76d
C++: Shorten alert message
...
We don't write the reason for the alert in the alert message.
2019-05-01 08:33:36 +02:00
Jonas Jensen
e38ac9f88a
C++: suppress alerts in tightly bounded loops
2019-05-01 08:33:35 +02:00
Jonas Jensen
399b64b9a6
C++: Enable cpp/alloca-in-loop on LGTM
...
Now that the query has both tests and qhelp, we can use it on LGTM. This
commit also adds a change note.
I renamed the query to reduce confusion from the lower-case unquoted
word "alloca".
2019-05-01 08:33:32 +02:00
Jonas Jensen
54091e87fa
Merge pull request #1136 from zlaski-semmle/cpp340a
...
[CPP-340] Refinements to FutileParams.ql etc.
2019-05-01 08:21:35 +02:00
Ziemowit Laski
17066cfe3e
[CPP-340] Adjust annotations in test.c file.
2019-04-30 13:21:36 -07:00
Tom Hvitved
42f2c88516
Merge pull request #1 from rdmarsh2/rdmarsh/dataflow/prepare-for-csharp
...
C++: Use CallInstruction as DataFlowCall
2019-04-30 20:52:53 +02:00
Asger F
15299aba7d
TS: Workaround issue with infer types
2019-04-30 16:07:45 +01:00
yh-semmle
3a988d0312
Java 12: revert addition of deprecated annotations for preview features
2019-04-30 10:59:08 -04:00
yh-semmle
6d59b4e049
Java 12: tweak queries to preserve behavior
...
This accounts for the changes in af8faee1.
2019-04-30 10:59:08 -04:00
yh-semmle
de47f25141
Java 12: remove deprecated annotation from Stmt::getEnclosingStmt
2019-04-30 10:59:07 -04:00
yh-semmle
3f132f45d9
Java 12: add dbscheme stats for switch expressions
2019-04-30 10:59:07 -04:00
yh-semmle
f22084e18a
Java 12: add more QL deprecated annotations
2019-04-30 10:59:06 -04:00
Anders Schack-Mulligen
0a569f6c1a
Java: Change TCs of Stmt.getParent to Stmt.getEnclosingStmt.
2019-04-30 10:59:06 -04:00
Anders Schack-Mulligen
6ecf46ce85
Java: Add CFG edges for switch expressions.
2019-04-30 10:59:05 -04:00
Anders Schack-Mulligen
9a367d9293
Java: JumpStmt.getTarget, Stmt.getEnclosingStmt, SwitchExpr.getAResult.
2019-04-30 10:59:05 -04:00
yh-semmle
61324f0bb0
Java 12: enhanced QLDoc for preview features
2019-04-30 10:59:05 -04:00
yh-semmle
d4e013b297
Java 12: deprecate QL constructs for new preview feature (switch exprs)
2019-04-30 10:59:04 -04:00
yh-semmle
38705038a8
Java 12: add QL for switch expressions, etc
2019-04-30 10:59:04 -04:00
yh-semmle
6ac1ee5fad
Java 12: add switch expressions to dbscheme
2019-04-30 10:59:04 -04:00
yh-semmle
4ede686283
Java: refactor ConstCase and DefaultCase in preparation for Java 12
2019-04-30 10:59:03 -04:00
Asger F
5c8dd7eedd
TS: Add workaround for 'globalThis' getProperties() crash
2019-04-30 12:44:58 +01:00
Asger F
686d72c356
TS: Fix handling of 'export ='
2019-04-30 12:41:59 +01:00
