Mathias Vorreiter Pedersen
|
401717d739
|
C++: Add a missing taint step and accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
527409d05f
|
C++: Fix iterator return types and accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3d2e2188d
|
C++: Accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
141af7cc87
|
C++: Subclasses for both 'begin' and 'end'.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
6e3dddede0
|
C++: Use iterator flow in dataflow.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
683fe26034
|
C++: Add iterator flow based on dataflow SSA.
|
2024-04-29 09:38:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
ea1b8a3999
|
C++: Implement 'getAnUltimateDefinition' on SSA definitions.
|
2024-04-29 09:38:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f0efc19fa
|
C++: Accept test changes.
|
2024-04-29 09:38:41 +01:00 |
|
Paolo Tranquilli
|
0dfd336729
|
Go: fix //go:gen on windows
|
2024-04-29 10:34:22 +02:00 |
|
Paolo Tranquilli
|
b0758fd109
|
Go: workaround for gazelle on macOS
See https://github.com/bazelbuild/bazel-gazelle/issues/1793 for details.
|
2024-04-29 10:29:53 +02:00 |
|
Michael Nebel
|
d62e888b86
|
C#: Code quality improvements.
|
2024-04-29 09:27:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
50775d0c53
|
C++: Get rid of 'UseImpl' in TSsaDefOrUse so that it now only contains definitions.
|
2024-04-29 00:02:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9874d40d29
|
C++: Make 'getAddressOperand' available on 'DefImpl'.
|
2024-04-28 23:41:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
044ee9b08a
|
C++: Delete old iterator flow using memory edges.
|
2024-04-28 23:41:13 +01:00 |
|
Alvaro Muñoz
|
186f9d018d
|
Merge pull request #2 from github/separate_sources
Split sources by taint type
|
2024-04-28 12:04:02 +02:00 |
|
Alvaro Muñoz
|
831b8cfaa6
|
Bump qlpack versions
|
2024-04-28 12:03:40 +02:00 |
|
Alvaro Muñoz
|
0f3281c386
|
Support bash heredoc
|
2024-04-28 09:36:27 +02:00 |
|
Alvaro Muñoz
|
00f6ff8c01
|
Split sources by taint type
|
2024-04-27 11:02:33 +02:00 |
|
Harry Maclean
|
8b23f6db10
|
Ruby: Add URI.open example to rb/kernel-open qhelp
|
2024-04-27 09:53:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c2206728d
|
Merge pull request #16333 from MathiasVP/fix-guards-on-pointers
|
2024-04-26 21:33:08 +01:00 |
|
Jeroen Ketema
|
8c87cb83bb
|
Merge pull request #16342 from jketema/destructors-cleanup
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
|
2024-04-26 22:05:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
c9ce642e7a
|
Merge pull request #16339 from MathiasVP/one-less-stage
C++: Remove a stage by properly caching `getResultIRType`
|
2024-04-26 16:52:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
d18cdee0bc
|
C++: Accept test changes.
|
2024-04-26 16:19:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
b78537dd74
|
C++: Allow comparisons with pointer types in IRGuards.
|
2024-04-26 16:19:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
e78091e9d0
|
C++: Sync identical files.
|
2024-04-26 16:19:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
c10e00d389
|
C++: Add a subclass for constant instructions with pointer type.
|
2024-04-26 16:18:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
bf61114284
|
C++: Add a test with pointer comparisons and float comparisons.
|
2024-04-26 16:17:45 +01:00 |
|
erik-krogh
|
800d7546fa
|
change all the change-notes to breaking
|
2024-04-26 17:17:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
d6c57de650
|
C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.
|
2024-04-26 16:11:19 +01:00 |
|
Paolo Tranquilli
|
d66494dcb0
|
Go: update go-tests-other-os.yml
|
2024-04-26 17:03:56 +02:00 |
|
Paolo Tranquilli
|
86d6b8ef21
|
Go: put back go setup
|
2024-04-26 16:54:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
6147a38bea
|
Merge pull request #16337 from MathiasVP/cache-second-level-scope
DataFlow: Cache `getSecondLevelScope`
|
2024-04-26 15:49:11 +01:00 |
|
Jeroen Ketema
|
67fb866efa
|
C++: Update test results
|
2024-04-26 16:38:39 +02:00 |
|
Paolo Tranquilli
|
0f387eeac2
|
Go: add vendor update to //go:gen
|
2024-04-26 16:31:04 +02:00 |
|
Mathias Vorreiter Pedersen
|
4b0a217420
|
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
|
2024-04-26 16:25:05 +02:00 |
|
Alvaro Muñoz
|
27d0a3406d
|
Improve Env path/var injection queries
|
2024-04-26 16:17:29 +02:00 |
|
Mario Campos
|
3195f0c828
|
Use more specific hasGlobalName() for stdlib function free(3)
Based on the CodeQL documentation's example of strncpy(3) and strlen(3): https://codeql.github.com/docs/codeql-language-guides/hash-consing-and-value-numbering/#example-query
|
2024-04-26 09:10:40 -05:00 |
|
Paolo Tranquilli
|
d98ccdfa06
|
Go: update workflow
|
2024-04-26 16:02:22 +02:00 |
|
Paolo Tranquilli
|
c8b02241af
|
Merge branch 'main' into redsun82/go
|
2024-04-26 15:59:17 +02:00 |
|
Tamás Vajk
|
a707e14495
|
Merge pull request #16338 from tamasvajk/buildless/extractor-timing
C#: Store buildless extraction timing information and return in telem…
|
2024-04-26 15:59:01 +02:00 |
|
Paolo Tranquilli
|
146d84bbf8
|
Go: rework makefile
|
2024-04-26 15:20:33 +02:00 |
|
Tamas Vajk
|
1d45e3a558
|
C#: Store buildless extraction timing information and return in telemetry query
|
2024-04-26 14:59:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
70e9c48a47
|
C++: Also implement the predicate in the raw stage.
|
2024-04-26 13:48:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
dcc4ad2550
|
C++: Sync identical files.
|
2024-04-26 13:45:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
54cadcfe9b
|
C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.
|
2024-04-26 13:44:45 +01:00 |
|
Rasmus Lerchedahl Petersen
|
3716b8c6a0
|
Python: update test to reflect correct behaviour
also add comments
|
2024-04-26 14:21:15 +02:00 |
|
Rasmus Lerchedahl Petersen
|
9f7edf378e
|
Python: fix tests
The way to expose the `self` arguemnt
is to call an instance method on the class,
not on the instance...
|
2024-04-26 14:21:15 +02:00 |
|
Rasmus Lerchedahl Petersen
|
4f46ce1133
|
Python: add test for Argument[0, self, self:] for instance methods
|
2024-04-26 14:21:15 +02:00 |
|
Rasmus Lerchedahl Petersen
|
862942f3d8
|
python: extra test
suggested by @RasmusWL
|
2024-04-26 14:19:10 +02:00 |
|
Rasmus Lerchedahl Petersen
|
adc82b553b
|
Python: more realistic summaries
|
2024-04-26 14:19:10 +02:00 |
|