Jonas Jensen
|
917b984909
|
Merge pull request #3050 from geoffw0/mismatching_placement_new
C++: Fix mismatching new/free FP in template code.
|
2020-03-12 12:42:29 +01:00 |
|
Geoffrey White
|
b2c5ce8dbd
|
C++: Exclude code in templates.
|
2020-03-11 18:11:45 +00:00 |
|
Geoffrey White
|
d454c8457d
|
C++: Test case.
|
2020-03-11 18:09:09 +00:00 |
|
Robert Marsh
|
bba6b23019
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
|
2020-03-10 11:12:19 -07:00 |
|
Jonas Jensen
|
28a9baba36
|
Merge pull request #3026 from MathiasVP/simplerangeanalysis-const-var-access
C++: Handle constant variable accesses in SimpleRangeAnalysis.qll
|
2020-03-10 11:22:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
1a5282ae21
|
C++: Add testcase that previously resulted in a false positive
|
2020-03-09 22:33:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
3973a50c9b
|
C++: Add testcase for cpp/uncontrolled-allocation-size
|
2020-03-04 15:51:14 +01:00 |
|
Robert Marsh
|
4333fe7905
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
|
2020-02-26 13:15:27 -08:00 |
|
Geoffrey White
|
4af0193c98
|
C++: Modify the argvlocal tests.
|
2020-02-24 16:51:47 +00:00 |
|
Geoffrey White
|
9f271949d5
|
C++: Adjust layout of the argvlocal test.
|
2020-02-24 15:52:31 +00:00 |
|
Geoffrey White
|
a0e839d3f1
|
C++: Block duplicate taint results from 'gets' and other functions.
|
2020-02-24 11:53:22 +00:00 |
|
Geoffrey White
|
e683f6113d
|
C++: Model 'gets'.
|
2020-02-24 11:27:35 +00:00 |
|
Robert Marsh
|
ff876aaedf
|
C++: Accept test output with IR enabled
|
2020-02-18 09:48:21 -08:00 |
|
Jonas Jensen
|
a59c0facee
|
C++: Accept test changes for IR libs
This is for the tests in the ql repo. There are also changed tests in
the internal repo.
|
2020-02-15 21:12:20 +01:00 |
|
Geoffrey White
|
75a50a1714
|
C++: Understand formatting function varargs as needing null termination.
|
2020-02-11 15:25:59 +00:00 |
|
Geoffrey White
|
2f290bd528
|
C++: Additional test cases.
|
2020-02-11 15:25:59 +00:00 |
|
Jonas Jensen
|
4997aa7428
|
Merge pull request #2772 from MathiasVP/more-gvn-loads
C++: Better value numbering support for loading fields in IR
|
2020-02-06 14:15:27 +01:00 |
|
Geoffrey White
|
851c1134f3
|
C++: Add 'strlen' back.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
860d0aa42f
|
C++: Remove single argument functions.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
95c77ca3c6
|
C++: Update comment.
|
2020-02-06 10:17:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
ba395cf11a
|
C++: Update test annotations and accept output
|
2020-02-06 09:26:33 +01:00 |
|
Matthew Gretton-Dann
|
1b67f47918
|
C++: Update with improved location information
EDG 6.0 gives better location in some circumstances changing the results
of these tests for the better.
|
2020-02-05 09:11:23 +00:00 |
|
Geoffrey White
|
1d46971bb7
|
C++: Add an ArrayFunction model to FormattingFunction.
|
2020-01-28 08:46:46 +00:00 |
|
Geoffrey White
|
0c4eabca98
|
C++: Merge two tests of UnusedStaticFunctions from the library-tests into the existing test in query-test.
|
2020-01-23 11:05:47 +00:00 |
|
Geoffrey White
|
f40a37cae2
|
C++: Move a test from library-tests to query-tests.
|
2020-01-23 11:05:47 +00:00 |
|
Geoffrey White
|
fcdb20d1fc
|
C++: Move the SuspiciousCallToStrncat test to the expected location.
|
2020-01-23 11:05:46 +00:00 |
|
Geoffrey White
|
f4f0f6d93e
|
C++: Merge the StrncpyFlippedArgs tests.
|
2020-01-23 11:05:46 +00:00 |
|
Geoffrey White
|
3aa66f5aca
|
C++: Merge the OverflowStatic tests.
|
2020-01-23 11:05:46 +00:00 |
|
Jonas Jensen
|
ceeb9ab718
|
Merge pull request #2622 from MathiasVP/implicit-function-declaration
C++: Add 'implicit function declaration' query
|
2020-01-23 09:23:44 +01:00 |
|
Geoffrey White
|
200545d88c
|
CPP: Add detail to the model.
|
2020-01-17 18:56:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
e4def730fd
|
C++: Fix alert message
|
2020-01-16 21:30:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
04ef4d102d
|
C++: Remove unnecessary testcase
|
2020-01-16 15:10:37 +01:00 |
|
Geoffrey White
|
2fa846d1a6
|
CPP: Correct test.
|
2020-01-14 14:33:43 +00:00 |
|
Geoffrey White
|
d98d80b07d
|
CPP: Improve locations for AV Rule 114.ql.
|
2020-01-14 14:33:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
c9439df914
|
C++: Added query that detects implicit function declarations
|
2020-01-12 16:28:30 +01:00 |
|
Geoffrey White
|
9176529799
|
Merge pull request #2599 from MathiasVP/assign-where-compare-meant-false-positives
Assign where compare meant false positives
|
2020-01-10 13:39:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
111f1dbd19
|
Merge branch 'assign-where-compare-meant-false-positives' of github.com:MathiasVP/ql into assign-where-compare-meant-false-positives
|
2020-01-10 13:14:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
f80c13abd7
|
C++: Fixed incorrect comments in testcases
|
2020-01-10 12:24:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
21c99d1827
|
Typo fix
Co-Authored-By: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2020-01-10 11:46:14 +01:00 |
|
Geoffrey White
|
cf5dd85944
|
Merge pull request #2577 from MathiasVP/multiplication-overflow-not-possible-due-to-type-width
Multiplication overflow not possible due to type width
|
2020-01-08 17:18:33 +00:00 |
|
Dave Bartolomeo
|
6c8de44800
|
Merge pull request #2604 from geoffw0/returnthis
CPP: Exclude template classes from cpp/assignment-does-not-return-this
|
2020-01-08 09:12:22 -07:00 |
|
Geoffrey White
|
527d29ba23
|
CPP: Exclude template classes from the query.
|
2020-01-08 13:16:38 +00:00 |
|
Geoffrey White
|
d527dbe47a
|
CPP: Add test case.
|
2020-01-08 13:13:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
100ace532f
|
C++: Fixed handling of false negative. Query now supports global variables
|
2020-01-07 22:57:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
db08076fed
|
C++: Fixed false negative
|
2020-01-07 22:20:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
229da0a9c0
|
C++: Add testcase demonstrating false negative
|
2020-01-07 22:12:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
d9f931da3c
|
C++: Fix false positives
|
2020-01-07 14:16:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
6bbe2c48bf
|
C++: Add testcase demonstrating false positive
|
2020-01-07 14:13:34 +01:00 |
|
Geoffrey White
|
72b4792391
|
CPP: Exception for AsmStmts.
|
2020-01-07 12:46:07 +00:00 |
|
Geoffrey White
|
0a85637fef
|
CPP: Add a test.
|
2020-01-07 12:46:07 +00:00 |
|