Mathias Vorreiter Pedersen
|
a006a7fb24
|
Revert "Merge pull request #6004 from MathiasVP/path-sensitive-stack-variable-reachability-analysis"
This reverts commit e3e7b00986, reversing
changes made to 8ccdd4fb9f.
|
2021-07-20 18:06:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
714ad105fe
|
C++: Accept test changes.
|
2021-06-14 22:02:38 +02:00 |
|
Geoffrey White
|
c40c88ec4b
|
CPP: Add test cases for ConditionallyUninitializedVariables.ql.
|
2019-10-28 18:43:00 +00:00 |
|
Jonas Jensen
|
4ef5c9af62
|
C++: Autoformat everything
Some files that will change in #1736 have been spared.
./build -j4 target/jars/qlformat
find ql/cpp/ql -name "*.ql" -print0 | xargs -0 target/jars/qlformat --input
find ql/cpp/ql -name "*.qll" -print0 | xargs -0 target/jars/qlformat --input
(cd ql && git checkout 'cpp/ql/src/semmle/code/cpp/ir/implementation/**/*SSA*.qll')
buildutils-internal/scripts/pr-checks/sync-identical-files.py --latest
|
2019-09-09 11:25:53 +02:00 |
|
Geoffrey White
|
ef3ceb5910
|
CPP: Don't use getFollowingStmt.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
536adaae7f
|
CPP: Additional test cases.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
52b68a77bd
|
CPP: Remove commented out code.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
56adcff2c9
|
CPP: Fix for LocalScopeReachability.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
f4b4ddbdaf
|
CPP: Add a test examining the LoopEntryConditionEvaluator on this code.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
12bbb0755f
|
CPP: Additional test cases.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
f034abc275
|
CPP: Add the Semmle security tests.
|
2018-11-26 17:52:34 +00:00 |
|