Jonas Jensen
|
fb6ad5274f
|
C++: Accept test changes
|
2020-01-24 22:28:20 +01:00 |
|
Jonas Jensen
|
b290c7b47a
|
C++: Model that string functions read their buffer
|
2020-01-24 15:53:38 +01:00 |
|
Jonas Jensen
|
ee0648bb57
|
Merge pull request #2684 from geoffw0/rearrange-tests
CPP: Test cleanup
|
2020-01-24 11:57:58 +01:00 |
|
Geoffrey White
|
912260b3aa
|
C++: Autoformat tests.
|
2020-01-24 09:43:58 +00:00 |
|
yo-h
|
eb6f8da080
|
Merge pull request #2679 from aschackmull/java/remove-depr-flow-fwd-back
Java/C++/C#: Remove the deprecated hasFlowForward/hasFlowBackward.
|
2020-01-23 14:10:28 -05:00 |
|
Geoffrey White
|
795afa8160
|
CPP: Better location for the StackVariableReachability test.
|
2020-01-23 17:32:07 +00:00 |
|
Geoffrey White
|
b693ef51e2
|
C++: Put a little bit of content in the StackVariableReachability test.
|
2020-01-23 17:25:26 +00:00 |
|
Jonas Jensen
|
33070cc16d
|
Merge pull request #2678 from MathiasVP/union-access-global-virtual-dispatch
C++: IR virtual dispatch through union field access
|
2020-01-23 15:32:31 +01:00 |
|
Anders Schack-Mulligen
|
e7f7c7370a
|
Java/C++/C#: Remove the deprecated hasFlowForward/hasFlowBackward.
|
2020-01-23 14:05:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
5fd1c6fedb
|
C++: Remove parameter from predicate for some tiny performance benefits
|
2020-01-23 13:29:48 +01:00 |
|
Jonas Jensen
|
8a0089a875
|
Merge pull request #2672 from geoffw0/qualifierflow
CPP: Support taint flow in and out of qualifiers
|
2020-01-23 13:17:17 +01:00 |
|
Geoffrey White
|
166be063a9
|
C++: Rename test of the now un-deprecated StackVariableReachability.
|
2020-01-23 11:06:24 +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 |
|
Geoffrey White
|
ccf268d048
|
CPP: Autoformat.
|
2020-01-23 10:07:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
77531294bf
|
C++: Accepted output on tests
|
2020-01-23 10:20:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
9412ec7f4f
|
C++: Added union field flow for globals
|
2020-01-23 10:17:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
256ae2fda6
|
C++: Add test demonstrating a flow not detected
|
2020-01-23 10:16:24 +01: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
|
1867d58034
|
CPP: Allow flow to return value.
|
2020-01-22 16:25:40 +00:00 |
|
Geoffrey White
|
704bfe7184
|
CPP: Support taint flow from qualifiers.
|
2020-01-22 16:22:29 +00:00 |
|
Geoffrey White
|
e6daf3b7ee
|
CPP: Support taint flow to qualifiers.
|
2020-01-22 16:16:31 +00:00 |
|
Geoffrey White
|
974994ed49
|
CPP: Slight rearrange.
|
2020-01-22 16:11:51 +00:00 |
|
Geoffrey White
|
1a6f7febe7
|
CPP: Add tests of taint through qualifiers.
|
2020-01-22 16:11:13 +00:00 |
|
Tom Hvitved
|
d5daee4450
|
Merge pull request #2661 from aschackmull/java/remove-dataflowlocation
Java/C++/C#: Remove DataFlowLocation as it's no longer needed.
|
2020-01-22 12:11:24 +01:00 |
|
Anders Schack-Mulligen
|
9cc0d3d1f4
|
Java/C++/C#: Remove DataFlowLocation as it's no longer needed.
|
2020-01-21 15:08:39 +01:00 |
|
Jonas Jensen
|
5ac56c2e3a
|
C++: Add DataFlow::Node.asDefiningArgument in IR
|
2020-01-21 11:52:06 +01:00 |
|
Geoffrey White
|
80997a3323
|
Merge pull request #2655 from Semmle/jbj-patch-1
C++: Fix typo in MallocSizeExpr
|
2020-01-21 09:44:41 +00:00 |
|
Jonas Jensen
|
cdcd3ed748
|
Merge pull request #2647 from geoffw0/modelpure
CPP: Improve strlen model
|
2020-01-21 09:42:10 +01:00 |
|
Jonas Jensen
|
0568ed6451
|
C++: Fix typo in MallocSizeExpr
The first argument is index 0, not 1.
|
2020-01-21 09:09:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
c9cc459baf
|
C++: Rename .qlhelp to .qhelp
|
2020-01-20 21:17:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
fddd3660ab
|
C++: Fix formatting in example
|
2020-01-20 16:05:16 +01:00 |
|
Geoffrey White
|
4f02183dc2
|
CPP: Re-layout test.
|
2020-01-20 15:00:09 +00:00 |
|
Geoffrey White
|
2133fbd155
|
CPP: Fix the nulltermination test.
|
2020-01-20 14:55:52 +00:00 |
|
Geoffrey White
|
952b9e1581
|
CPP: Use hasGlobalName where appropriate.
|
2020-01-20 14:24:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
13fc8741d4
|
C++: Include malloc example in qlhelp
|
2020-01-20 13:28:00 +01:00 |
|
Geoffrey White
|
79811fcccd
|
Merge pull request #2642 from jbj/TaintTracking-indirection
C++: Indirection for security.TaintTracking impl
|
2020-01-20 12:25:51 +00:00 |
|
Geoffrey White
|
5a20e85598
|
Merge pull request #2638 from jbj/ir-dispatch
C++ IR: Support for global virtual dispatch
|
2020-01-20 12:04:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
a43131a987
|
C++: Fix formatting
|
2020-01-20 11:39:48 +01:00 |
|
Jonas Jensen
|
391b80eac4
|
C++: Show virtual inheritance problem in vdispatch
|
2020-01-20 11:17:44 +01:00 |
|
Jonas Jensen
|
2a0fc31b68
|
C++: Comment and rename getSrc -> getDispatchValue
Better clarity was requested in the PR review.
|
2020-01-20 11:03:03 +01:00 |
|
Jonas Jensen
|
742bd1c6ad
|
Merge pull request #2648 from rdmarsh2/getMemoryOperandDefinition-perf
C++: Performance fix for getMemoryOperandDefinition
|
2020-01-20 08:49:55 +01:00 |
|
Jonas Jensen
|
d3a1856793
|
Merge pull request #2646 from geoffw0/modelinet
CPP: Fix a mistake in Inet.qll.
|
2020-01-17 22:53:43 +01:00 |
|
Geoffrey White
|
fcea3693f9
|
CPP: Remove now redundant special cases.
|
2020-01-17 18:56:21 +00:00 |
|
Geoffrey White
|
200545d88c
|
CPP: Add detail to the model.
|
2020-01-17 18:56:21 +00:00 |
|
Geoffrey White
|
77a3778eef
|
CPP: Add some strlen variants to the PureStrFunction model.
|
2020-01-17 18:56:21 +00:00 |
|
Jonas Jensen
|
3632d51abc
|
Merge pull request #2635 from geoffw0/modelstrdup
CPP: Model strdup
|
2020-01-17 19:26:26 +01:00 |
|