Mathias Vorreiter Pedersen
|
928b0c50d2
|
C++: Add test demonstrating false negative when using dynamic_cast
|
2020-01-28 17:31:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
287af2bdec
|
C++: Fix annotations in testcase file
|
2020-01-28 13:51:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
611d9553dd
|
C++: Fix formatting
|
2020-01-28 10:22:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
130911ad44
|
C++: Accept new output in already existing test
|
2020-01-28 10:00:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
fd79e7991d
|
C++: Add tests demonstrating differences between AST virtual dispatch analysis and IR virtual dispatch analysis
|
2020-01-28 10:00:21 +01:00 |
|
Jonas Jensen
|
0e3ed2dfa6
|
C++: Remove test for unrelated issue
The issue for that test is being tested and fixed on PR #2686. Adding a
test here will cause a semantic merge conflict.
|
2020-01-27 14:25:28 +01:00 |
|
Jonas Jensen
|
7376daf16e
|
C++: Some data flow through partial chi operands
|
2020-01-22 17:14:32 +01:00 |
|
Jonas Jensen
|
6cdca29aa6
|
C++: Flow through read side effects
Until we have better tracking of indirections, these flow rules conflate
pointers and their contents.
|
2020-01-22 13:27:10 +01:00 |
|
Jonas Jensen
|
2aaf41a0d8
|
C++: Test lack of flow through read side effect
|
2020-01-22 13:27:10 +01:00 |
|
Jonas Jensen
|
6d46e4d946
|
C++: Wire up models to DefaultTaintTracking
This adds support for arg-to-arg and arg-to-return taint.
|
2020-01-21 12:04:45 +01:00 |
|
Jonas Jensen
|
fa00e96ba8
|
C++: Test IR taint through library functions
|
2020-01-21 12:03:43 +01:00 |
|