Geoffrey White
|
1cde5e1828
|
C++: Test of taint through ConstructorDelegationInit.
|
2021-01-11 17:35:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
a00bd7ae02
|
C++: Respond to review comments.
|
2021-01-08 19:47:02 +01:00 |
|
Geoffrey White
|
a6937beee3
|
Merge branch 'main' into sqltaint
|
2021-01-08 17:27:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
13a67c906e
|
Merge pull request #4810 from geoffw0/multtoalloc
C++: Query for multiplications used in allocations.
|
2021-01-07 13:48:58 +01:00 |
|
ihsinme
|
f378c14659
|
Update MemoryLeakOnFailedCallToRealloc.expected
|
2021-01-07 15:43:58 +03:00 |
|
ihsinme
|
592cd284e8
|
Update test.c
|
2021-01-07 15:41:31 +03:00 |
|
Mathias Vorreiter Pedersen
|
7b003678a9
|
Merge branch 'main' into mathiasvp/reverse-read-take-3
|
2021-01-07 11:56:18 +01:00 |
|
Geoffrey White
|
81205f37c5
|
C++: Fix test annotation.
|
2021-01-06 11:45:17 +00:00 |
|
Geoffrey White
|
18890c4a77
|
C++: Use isAdditionalBarrier in the SqlTainted query.
|
2021-01-05 11:33:39 +00:00 |
|
Geoffrey White
|
01b204ea30
|
C++: Add a test case with a tainted integer.
|
2021-01-04 15:35:18 +00:00 |
|
Geoffrey White
|
7a3f9c7895
|
C++: Add a test (cleaned up) that was previously in the internal repo.
|
2021-01-04 15:35:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
bb158f1857
|
C++: Add dataflow testcases that need flow through conflated memory.
|
2021-01-04 11:43:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
258d04178f
|
C++: Replace SkippableInstruction with local flow steps.
|
2020-12-30 13:39:24 +01:00 |
|
ihsinme
|
0c7381a3b0
|
Add files via upload
|
2020-12-26 20:45:11 +03:00 |
|
Mathias Vorreiter Pedersen
|
77aa9615c0
|
C++: Accept test changes in paths.
|
2020-12-22 09:14:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
72a80e3722
|
C++: Accept test changes.
|
2020-12-22 09:14:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba4da72b9e
|
C++: Add examples that require longer access paths
|
2020-12-22 09:14:53 +01:00 |
|
Jonas Jensen
|
4308381057
|
Merge pull request #4846 from MathiasVP/default-taint-tracking-operand-instruction-interleaving
C++: Instruction -> Operand interleaving for DefaultTaintTracking
|
2020-12-21 12:44:06 +01:00 |
|
Jonas Jensen
|
3236cbd83e
|
C++: Test the AST wrapper for IR GVN
Out of our 3 GVN libraries, the one we actually use in production didn't
have tests -- except indirectly through `diff_ir_expr.ql`.
|
2020-12-21 08:21:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
f5e4725642
|
C++: Propagate flow from instruction's to non-exact operands for arrays and unions, and accept test changes.
|
2020-12-18 13:54:34 +01:00 |
|
Jonas Jensen
|
fd7dec7f20
|
Merge pull request #4824 from geoffw0/modelchanges5
C++: Add cases in the Allocation model.
|
2020-12-18 09:16:01 +01:00 |
|
Geoffrey White
|
1e3535754b
|
C++: Violation message.
|
2020-12-16 16:13:02 +00:00 |
|
Geoffrey White
|
2210344f4d
|
C++: Add a test.
|
2020-12-16 15:44:53 +00:00 |
|
Jonas Jensen
|
406cc64dcc
|
Merge pull request #4831 from geoffw0/printfunknown
C++: Fix Printf.qll specsAreKnown
|
2020-12-16 10:56:56 +01:00 |
|
Geoffrey White
|
93dfeac3c8
|
C++: Make specsAreKnown more accurate.
|
2020-12-15 17:43:28 +00:00 |
|
Geoffrey White
|
94dea9f71d
|
C++: Add a test of unknown format specifiers (with specsAreKnown check disabled).
|
2020-12-15 17:40:32 +00:00 |
|
Geoffrey White
|
d7a92e581f
|
Merge branch 'main' into swap
|
2020-12-14 17:54:11 +00:00 |
|
Geoffrey White
|
899d1ab6d8
|
C++: Add tests of strdup (and variants) as allocators.
|
2020-12-14 13:50:11 +00:00 |
|
Geoffrey White
|
3bef0e5c00
|
C++: Implement a general model.
|
2020-12-09 18:53:49 +00:00 |
|
Geoffrey White
|
209191bb24
|
C++: Add another good example.
|
2020-12-09 16:55:07 +00:00 |
|
Geoffrey White
|
80db155d54
|
C++: Fix example and test.
|
2020-12-09 16:46:48 +00:00 |
|
Rasmus Wriedt Larsen
|
9e7d5b3a9c
|
C++: Minor test README fixes
|
2020-12-07 11:52:18 +01:00 |
|
Cornelius Riemenschneider
|
2ea9b4a62b
|
Merge pull request #4719 from geoffw0/issue84
C++: Create tests readme.
|
2020-12-04 13:49:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
1142a79ad5
|
Merge pull request #4766 from criemen/cleanup-flow-tests
C++: Cleanup data/taint flow tests
|
2020-12-03 10:10:39 +01:00 |
|
Geoffrey White
|
4322b214c6
|
C++: Link to standards.
|
2020-12-02 15:57:38 +00:00 |
|
Geoffrey White
|
420d47b676
|
Apply suggestions from code review
Co-authored-by: hubwriter <hubwriter@github.com>
|
2020-12-02 15:54:28 +00:00 |
|
Geoffrey White
|
d20619d779
|
Merge branch 'main' into modelchanges3
|
2020-12-02 14:45:54 +00:00 |
|
Cornelius Riemenschneider
|
feb05542d2
|
C++: Refactor common implementation of data/taint flow tests.
|
2020-12-02 15:42:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
203bbdd84f
|
Merge pull request #4741 from criemen/port-dataflow-tests
C++: Port dataflow tests to inline expectations test library.
|
2020-12-02 10:25:52 +01:00 |
|
Cornelius Riemenschneider
|
239588b5e0
|
C++: Remove MISSING annotations for tests that are already correct.
|
2020-12-01 19:41:24 +01:00 |
|
Cornelius Riemenschneider
|
7700e87cca
|
C++: Address review.
|
2020-12-01 19:08:49 +01:00 |
|
Cornelius Riemenschneider
|
5b1ab86ac6
|
C++: Port DefaultTaintTracking tests to inline expectations test.
|
2020-12-01 19:00:45 +01:00 |
|
Cornelius Riemenschneider
|
0d0fa1b341
|
C++: Delete difference tests.
|
2020-11-30 17:33:27 +01:00 |
|
Cornelius Riemenschneider
|
b632ca40b4
|
C++: Port dataflow/taint-tests to inline expectations test.
|
2020-11-30 17:32:54 +01:00 |
|
Geoffrey White
|
99b01e7d36
|
C++: Additional test case for FormattingFunction.
|
2020-11-30 15:25:51 +00:00 |
|
Anders Schack-Mulligen
|
8f2094f0bf
|
Autoformat.
|
2020-11-30 14:42:38 +01:00 |
|
Cornelius Riemenschneider
|
644a0fac98
|
C++: Port dataflow/dataflow-tests to inline expectations test library.
|
2020-11-27 16:03:15 +01:00 |
|
Geoffrey White
|
390e61b674
|
C++: Add public domain and translated from QL exceptions.
|
2020-11-27 10:15:56 +00:00 |
|
Geoffrey White
|
1f5c6d4e71
|
C++: Add examples.
|
2020-11-26 19:31:06 +00:00 |
|
Geoffrey White
|
ab071b1e6a
|
C++: Disambiguate 'Library'.
|
2020-11-26 14:57:18 +00:00 |
|