Taus
|
cdc879ee89
|
Python: Fix up some bazel references
|
2024-03-19 17:11:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
aeb667c6ca
|
Merge pull request #15976 from MathiasVP/guards-eq-follow-up
C++: Fix interface for `GuardCondition.comparesEq` and `GuardCondition.ensuresEq`
|
2024-03-19 16:45:38 +00:00 |
|
yoff
|
ee411cc53a
|
Merge pull request #15936 from yoff/python/test-conflicting-summaries
Python: No `fieldFlowBranchLimit` for `SummarizedCallable`s
|
2024-03-19 16:56:56 +01:00 |
|
Jeroen Ketema
|
f5fed84bb2
|
Merge pull request #15968 from jketema/destructors15
C++: Fabricate destructors for temporaries that occur in dynamic initializations
|
2024-03-19 16:16:43 +01:00 |
|
Owen Mansel-Chan
|
b8608a1b1c
|
Merge pull request #15946 from owen-mc/java/more-manual-models
Java: more manual models
|
2024-03-19 15:00:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
c640bd67e9
|
C++: Fix tests for guards.
|
2024-03-19 14:43:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
6ce3f35ef5
|
C++: Fix API for guards.
|
2024-03-19 14:43:10 +00:00 |
|
Harry Maclean
|
219cd4e415
|
Merge pull request #14426 from hmac/hmac-ar-scopes
Ruby: Track flow into ActiveRecord scopes
|
2024-03-19 14:19:14 +00:00 |
|
Chris Smowton
|
f8124222cc
|
Merge pull request #15959 from smowton/smowton/admin/jdk22-test-changes
JDK22 upgrade test changes
|
2024-03-19 14:02:46 +00:00 |
|
Harry Maclean
|
7e479e3c8e
|
Ruby: Fix Hash#keys flow summary
|
2024-03-19 13:47:45 +00:00 |
|
Owen Mansel-Chan
|
7371f5e508
|
Provenance should be "df-manual"
|
2024-03-19 13:33:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
597f0082e7
|
Merge pull request #15958 from MathiasVP/ir-guards-from-switch-statements-2
C++: Implement guards logic for switch statements
|
2024-03-19 13:21:45 +00:00 |
|
Harry Maclean
|
df1845379a
|
Merge pull request #15965 from hmac/hmac-symbol-constant
Ruby: remove isString from TSymbol
|
2024-03-19 12:50:27 +00:00 |
|
Harry Maclean
|
22ddf2129b
|
Ruby: remove isString from TSymbol
|
2024-03-19 12:27:34 +00:00 |
|
Jeroen Ketema
|
06dbb4e9ef
|
Merge pull request #15937 from jketema/destructors14
C++: Handle destructors of temporaries with extended lifetimes
|
2024-03-19 12:07:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
d7afd7b2e1
|
C++: Accept test changes.
|
2024-03-19 10:54:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
350b239ed6
|
C++: Fix cartesian product in 'simple_comparison_eq'.
|
2024-03-19 10:29:43 +00:00 |
|
Jeroen Ketema
|
d47e2690b8
|
C++: Update test results after extractor changes
|
2024-03-19 11:18:36 +01:00 |
|
Jeroen Ketema
|
fd49871b9a
|
C++: Handle destructors of temporaries with extended lifetimes
|
2024-03-19 10:56:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
0c3d9f75f4
|
C++: Add change note.
|
2024-03-19 09:41:58 +00:00 |
|
yoff
|
f025430431
|
Merge pull request #15319 from Sim4n6/main
[Python] Add Unicode DoS (qhelp, tests and the query)
|
2024-03-19 10:00:30 +01:00 |
|
Rasmus Wriedt Larsen
|
d78efdb67b
|
Merge pull request #15883 from RasmusWL/js-cg-tests
JS: show test changes after #15823
|
2024-03-19 09:58:20 +01:00 |
|
Harry Maclean
|
dde148ee7e
|
Ruby: add changenote
|
2024-03-19 08:40:30 +00:00 |
|
Harry Maclean
|
32b80f8cb1
|
Ruby: Add tests for hash flow
|
2024-03-19 08:38:14 +00:00 |
|
Tom Hvitved
|
5ab1047b14
|
Merge pull request #15882 from hvitved/js/dataflow-node-get-location
JS: Add `DataFlow::Node.getLocation`
|
2024-03-19 09:21:00 +01:00 |
|
Chris Smowton
|
9a8ec36a4f
|
Accept test changes
|
2024-03-19 07:55:08 +00:00 |
|
Mathias Vorreiter Pedersen
|
aa1d5c5e41
|
Merge pull request #15960 from MathiasVP/unitialized-local-as-path
C++: Convert `cpp/uninitialized-local` to a `path-problem` query
|
2024-03-18 21:18:17 +00:00 |
|
Erik Krogh Kristensen
|
a3da6c886b
|
Merge pull request #15895 from erik-krogh/url-java-qhelp
Java: update the url-redirection in the same style as the C# qhelp
|
2024-03-18 21:10:07 +01:00 |
|
yoff
|
44ab36f238
|
Merge pull request #15729 from yoff/python/hardcoded-credentials-without-pointsto
python: Rewrite `HardcodedCredentials` away from `PointsTo`
|
2024-03-18 20:48:30 +01:00 |
|
Tom Hvitved
|
fc55567d90
|
Merge pull request #15853 from hvitved/dataflow/get-location
Data flow: Replace `hasLocationInfo` with `getLocation`
|
2024-03-18 20:21:46 +01:00 |
|
Tom Hvitved
|
8899d66132
|
Merge pull request #15734 from hvitved/dataflow/hidden-subpath
Data flow: Account for hidden `subpath` wrappers
|
2024-03-18 20:17:16 +01:00 |
|
Harry Maclean
|
187a68bf76
|
Ruby: Add flow summary for Hash#keys
|
2024-03-18 17:56:10 +00:00 |
|
Harry Maclean
|
e895f96a3a
|
Ruby: Taint flow to second block param in map
When `map` is called on a hash, the values in the hash are passed to the
second parameter of the block.
|
2024-03-18 17:55:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
b66b8785c4
|
Merge branch 'main' into unitialized-local-as-path
|
2024-03-18 17:42:53 +00:00 |
|
Chris Smowton
|
35a309fd40
|
Merge pull request #15897 from smowton/smowton/admin/test-for-gradle-wrapper-without-gradle
Java: add test for partial gradle wrapper without gradle on the path
|
2024-03-18 17:07:20 +00:00 |
|
Owen Mansel-Chan
|
764e99bda7
|
Fix model for java.util.Scanner#findall(String)
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2024-03-18 16:56:20 +00:00 |
|
Owen Mansel-Chan
|
e10ce8875f
|
Merge pull request #15947 from owen-mc/java/fix-model-provenance-to-df-manual
Fix model provenance to df-manual
|
2024-03-18 16:54:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
9c2b2160ce
|
Merge pull request #15939 from MathiasVP/experimental-surprising-lifetimes-for-range-based-for-loop
C++: Add an experimental query for surprising lifetimes from range-based for loops
|
2024-03-18 16:43:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
40dbc6fdd9
|
C++: Accept test changes.
|
2024-03-18 16:27:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
032678a367
|
C++: Extend tests to also test the new predicates.
|
2024-03-18 16:27:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
dbd47b387a
|
C++: Add AST wrappers for the new predicates.
|
2024-03-18 16:26:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
decede51dc
|
C++: Use the new predicate in 'ScanfChecks.qll'.
|
2024-03-18 16:07:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
44045d3eed
|
C++: Add guards logic for constant comparisons.
|
2024-03-18 16:07:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
a21eea4ee0
|
C++: Generalize more predicates from booleans to abstract values.
|
2024-03-18 16:07:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
b944f3b411
|
C++: Fix FP.
|
2024-03-18 15:57:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
e373341f62
|
C++: Add more tests.
|
2024-03-18 15:57:17 +00:00 |
|
Chris Smowton
|
af7b1bc425
|
Java: add test for partial gradle wrapper without gradle on the path
Note I had to mimic the actual absence of Gradle by testing the case where it fails, but have manually verified a missing binary works too.
|
2024-03-18 15:37:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
668239f355
|
C++: Convert tabs to spaces.
|
2024-03-18 15:16:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
bd0969b87b
|
C++: Add change note.
|
2024-03-18 15:04:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
4a55b6fbdf
|
C++: Make 'cpp/uninitialized-local' a path-problem query.
|
2024-03-18 15:02:33 +00:00 |
|