Mathias Vorreiter Pedersen
|
af28dd8eb4
|
C++: Add bsl models for 'array::front' and 'array::back'.
|
2024-07-03 18:14:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
f9d6c63cbb
|
C++: Add more 'Argument[-1]' to 'ReturnValue' flow.
|
2024-07-03 17:27:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
246f3fd3e2
|
C++: Fix 'emplace_after' model in bsl.
|
2024-07-03 17:21:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
5351c2734f
|
C++: Fix 'assign' models.
|
2024-07-03 17:01:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
6d05324724
|
C++: Make sure the 'emplace' functions that return iterators are modeled via Element content.
|
2024-07-03 16:47:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
e03f8084e6
|
C++: Fix yml file name.
|
2024-07-03 16:04:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
c4dabb94d6
|
C++: Add models for 'array::front' and 'array::back'.
|
2024-07-03 16:03:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
d7eac4d567
|
C++: Add change note.
|
2024-07-03 11:33:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
b8c01e2901
|
C++: Accept test changes.
|
2024-07-03 11:18:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
5be948533c
|
C++: Replace 'Element[*@]' with 'Element[@]'.
|
2024-07-03 11:18:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
6b025db824
|
C++: Add QLDoc to 'getParameterTypeName'.
|
2024-07-02 14:26:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
c104a0a74c
|
C++: Expand QLDoc on 'signatureMatches'.
|
2024-07-02 14:23:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b4459db75
|
C++: Add more QLDoc.
|
2024-07-01 10:13:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
4535043e90
|
C++: Accept test changes.
|
2024-06-27 20:15:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ad8704325
|
C++: Add bsl models.
|
2024-06-27 19:48:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
e845204ec9
|
C++: Add tests of internal MaD predicates and accept test changes.
|
2024-06-26 14:10:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
d38ce61e03
|
C++: Mention in the QLDoc that you cannot instantiate templates in the signature string.
|
2024-06-26 13:54:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a2c7d34af
|
C++: Simplify 'parseParens'.
|
2024-06-21 15:45:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
2e74ae448c
|
C++: Accept more test changes.
|
2024-06-21 14:04:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
40fb59dc0b
|
C++: Add gnu iterator models to regain TP.
|
2024-06-21 14:04:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8f3c1a798
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-06-21 14:04:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
f507b51170
|
C++: Fix Code Scanning errors.
|
2024-06-21 14:04:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e9862391b
|
C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.
|
2024-06-21 14:04:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
6513c33d26
|
C++: Accept test changes.
|
2024-06-21 14:04:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
47309df2a9
|
C++: Fix 'toString' on parameter and argument positions.
|
2024-06-21 12:47:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
85da3d2f13
|
C++: Update MaD models.
|
2024-06-21 12:47:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
b0bd7a983f
|
C++: Add MaD syntax for an arbitrary number of dereferences.
|
2024-06-21 12:47:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
4dc13e850e
|
C++: Add summaries for std dequence containers.
|
2024-06-21 12:47:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
716df0c7ce
|
C++: Support a richer language in MaD summaries for selecting member functions.
|
2024-06-21 12:47:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
901fac4282
|
C++: Support 'Element' content in flow summaries.
|
2024-06-19 13:40:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
013ee9c15e
|
C++: Add support for 'Element' content in dataflow.
|
2024-06-19 13:39:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
c158f8054e
|
C++: Get rid of all the 'StdContainer' taint models.
|
2024-06-19 13:36:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
e244eef3b5
|
Merge pull request #16748 from MathiasVP/rc-3.14-mergeback-2
Mergeback from `rc/3.14`
|
2024-06-13 10:44:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
0150269503
|
Merge branch 'rc/3.14' into rc-3.14-mergeback-2
|
2024-06-13 09:14:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
9384f6189e
|
Merge pull request #16740 from MathiasVP/fix-join-in-ssa
SSA: Fix bad join in `lastRefRedefExt`
|
2024-06-13 09:06:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
5b3403c4b1
|
C++: Fix bad join in 'lastRefRedefExt'.
|
2024-06-12 15:24:58 +01:00 |
|
Tamás Vajk
|
a756f86847
|
Merge pull request #16732 from tamasvajk/refactor/extraction-states
C#: Refactor extractor state classes and simplify extraction code
|
2024-06-12 15:20:11 +02:00 |
|
Tamas Vajk
|
0df6a1c4b1
|
Fix quality issues
|
2024-06-12 14:48:16 +02:00 |
|
Tamas Vajk
|
e3cbf1479a
|
Fix quality issue
|
2024-06-12 13:25:34 +02:00 |
|
Arthur Baars
|
4ee80653e2
|
Merge pull request #16471 from Sim4n6/ruby-UBV
Ruby: Add some method calls as a Source
|
2024-06-12 12:42:08 +02:00 |
|
Tamas Vajk
|
3551386a1a
|
Simplify standalone extractor
|
2024-06-12 12:30:08 +02:00 |
|
Owen Mansel-Chan
|
6af1ed9d75
|
Merge pull request #16730 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2024-06-12 11:22:29 +01:00 |
|
Tamas Vajk
|
cdca607828
|
Rename Extractor to ExtractionContext
|
2024-06-12 11:43:19 +02:00 |
|
Tamas Vajk
|
af2a78ea4d
|
Reduce references to Extract class
|
2024-06-12 11:13:05 +02:00 |
|
github-actions[bot]
|
bbeebfae73
|
Add changed framework coverage reports
|
2024-06-12 00:17:31 +00:00 |
|
Joe Farebrother
|
f441c68f7e
|
Merge pull request #16657 from joefarebrother/python-partial-ssrf-fp
Python: Add additional sanitizers to SSRF
|
2024-06-11 23:20:50 +01:00 |
|
Michael B. Gale
|
e9bd85e0ba
|
Merge pull request #16704 from github/mbg/go/fix/build-scripts-running-more-than-once
|
2024-06-11 22:23:15 +01:00 |
|
Michael B. Gale
|
202d77d94f
|
Merge pull request #16726 from github/mbg/go/log-one-line-for-stray-sources
Go: Only log one line for stray .go files
|
2024-06-11 22:16:21 +01:00 |
|
Owen Mansel-Chan
|
24c9062b35
|
Merge pull request #16671 from owen-mc/go/mad-builtin-taint-models-try-2
Go: Convert old-style models for built-ins to MaD
|
2024-06-11 19:45:34 +01:00 |
|
Michael B. Gale
|
0f56e408f8
|
Merge branch 'main' into mbg/go/fix/build-scripts-running-more-than-once
|
2024-06-11 18:29:41 +01:00 |
|