Arthur Baars
128d102bbc
Merge pull request #12871 from aibaars/py-yaml
...
Python: add YAML support
2023-04-26 18:13:26 +02:00
Mathias Vorreiter Pedersen
60aab206b0
C++: Join on two columns instead of one.
...
Before:
```
Evaluated non-recursive predicate TranslatedElement#ea057665::TranslatedElement::getInstructionVariable#1#dispred#fff@146210id in 201548ms (size: 3469729).
Evaluated relational algebra for predicate TranslatedElement#ea057665::TranslatedElement::getInstructionVariable#1#dispred#fff@146210id with tuple counts:
...
1812768 ~3% {3} r65 = JOIN num#InstructionTag#c9183db3::OnlyInstructionTag#f WITH TranslatedExpr#043317a1::TranslatedNonFieldVariableAccess#ff CARTESIAN PRODUCT OUTPUT Rhs.1, Lhs.0, Rhs.0
1812767 ~0% {4} r66 = JOIN r65 WITH Access#8878f617::Access::getTarget#0#dispred#ff ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2, Lhs.0
3996407117 ~3% {5} r67 = JOIN r66 WITH TranslatedElement#ea057665::getIRUserVariable#2#fff_102#join_rhs ON FIRST 1 OUTPUT Lhs.3, Rhs.1, Lhs.1, Lhs.2, Rhs.2
1815194 ~0% {3} r68 = JOIN r67 WITH TranslatedExpr#043317a1::getEnclosingDeclaration#1#ff ON FIRST 2 OUTPUT Lhs.3, Lhs.2, Lhs.4
...
```
After:
```
Evaluated non-recursive predicate TranslatedExpr#043317a1::accessHasEnclosingDeclarationAndVariable#3#fff@665ccb8o in 865ms (size: 2769549).
Evaluated relational algebra for predicate TranslatedExpr#043317a1::accessHasEnclosingDeclarationAndVariable#3#fff@665ccb8o with tuple counts:
2769549 ~1% {3} r1 = JOIN Access#8878f617::Access::getTarget#0#dispred#ff WITH TranslatedExpr#043317a1::getEnclosingDeclaration#1#ff ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.0
return r1
...
Evaluated non-recursive predicate TranslatedElement#ea057665::TranslatedElement::getInstructionVariable#1#dispred#fff@7d4d33to in 805ms (size: 3469729).
Evaluated relational algebra for predicate TranslatedElement#ea057665::TranslatedElement::getInstructionVariable#1#dispred#fff@7d4d33to with tuple counts:
...
1963209 ~0% {2} r34 = JOIN TranslatedElement#ea057665::getIRUserVariable#2#fff WITH TranslatedExpr#043317a1::accessHasEnclosingDeclarationAndVariable#3#fff ON FIRST 2 OUTPUT Rhs.2, Lhs.2
1815194 ~2% {2} r35 = JOIN r34 WITH TranslatedExpr#043317a1::TranslatedNonFieldVariableAccess#ff_10#join_rhs ON FIRST 1 OUTPUT Lhs.1, Rhs.1
1815194 ~0% {3} r36 = JOIN r35 WITH num#InstructionTag#c9183db3::OnlyInstructionTag#f CARTESIAN PRODUCT OUTPUT Lhs.1, Rhs.0, Lhs.0
...
```
2023-04-26 16:32:43 +01:00
Mathias Vorreiter Pedersen
20f555c715
Merge pull request #12938 from MathiasVP/fix-todo-is-abnormal-exit-type
...
Swift: Implement `isAbnormalExitType`
2023-04-26 16:16:19 +01:00
Nora Dimitrijević
5838c5d9c8
Merge branch 'main' into swift/rename-functions
2023-04-26 17:04:40 +02:00
Nora Dimitrijević
6f804ff1e7
Swift: upgrade/downgrade scripts
2023-04-26 17:03:20 +02:00
Sam Browning
35788162ec
Merge pull request #12915 from github/sabrowning1/query-suite-name-fix
...
Update `code-scanning` query suite name to `default`
2023-04-26 10:38:21 -04:00
Mathias Vorreiter Pedersen
d114388470
Swift: Implement 'isAbnormalExitType' and accept test changes.
2023-04-26 15:36:52 +01:00
Rasmus Lerchedahl Petersen
00b85cbfb9
python: remove blank line
2023-04-26 16:26:26 +02:00
Tony Torralba
12d181143f
Merge pull request #10533 from pwntester/main
...
Java: Add support for java.util.StringJoiner
2023-04-26 16:18:35 +02:00
Rasmus Wriedt Larsen
d274fa16a1
Python: Hide ModuleVariableNode in data-flow paths
...
They just add an extra step, and don't actually contribute any good
information for end-users.
2023-04-26 16:04:16 +02:00
Rasmus Wriedt Larsen
0c4bcec39e
Python: Fix ModuleVariableNode.toString
...
In some cases mod.getName() does not have a result, so toString of
ModuleVariableNode would also not have a result, which would cause
data-flow paths that use these as an edge to not be valid :O
2023-04-26 16:03:21 +02:00
Nora Dimitrijević
16fc42a53f
Swift: fix formatting
2023-04-26 16:01:57 +02:00
Mathias Vorreiter Pedersen
3d381331e1
C++: Add a test with global variable templates.
2023-04-26 15:00:32 +01:00
Rasmus Lerchedahl Petersen
20cbc08627
python: we want empty expected files
...
(thanks @RasmusWL)
2023-04-26 15:54:23 +02:00
Nora Dimitrijević
91a151ec2a
Swift: update tests
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
3d67970357
Swift: query library renamings
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
4c0384b4f1
Swift: control flow and dataflow library renamings
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
82eb0026e6
Swift: AST library renamings
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
2d9295a5a4
Swift: [generated] library code changes
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
90ad36ed6c
Swift: update extractor
2023-04-26 15:47:19 +02:00
Owen Mansel-Chan
39da26e9b5
Update ParameterInput.getEntryNode for implicit varargs slices
2023-04-26 14:35:20 +01:00
Owen Mansel-Chan
1e3d81842e
Update CallNode.getArgument for implicit varargs
...
It now has one only result corresponding to a variadic parameter. If the
argument is followed by an ellipsis then it is just the argument itself.
Otherwise it is a ImplicitVarargsSlice node.
2023-04-26 14:35:19 +01:00
Nora Dimitrijević
ce1c4b88d8
Swift: rename Function hierarchy in schema.py
2023-04-26 15:31:54 +02:00
Rasmus Lerchedahl Petersen
843329f2fb
python: no longer missing
2023-04-26 15:06:03 +02:00
Rasmus Lerchedahl Petersen
66fdf6b241
python: add test for capturing by value
2023-04-26 15:05:03 +02:00
Mathias Vorreiter Pedersen
6dc6e13caa
Swift: Hide 'DynamicSelfType' from the main AST.
2023-04-26 13:58:54 +01:00
Mathias Vorreiter Pedersen
11aff55a97
Swift: Add default implicit read steps when selecting PostUpdateNodes as sinks.
2023-04-26 13:58:48 +01:00
Mathias Vorreiter Pedersen
e6c8428875
Swift: Add syntax for selecting PostUpdateNodes in CSV rows.
2023-04-26 13:58:42 +01:00
Asger F
cf1e87de9e
JS: Track DOM elements out of collections
2023-04-26 14:55:34 +02:00
Asger F
1f228a049f
JS: Add test for iterating over DOM collections
2023-04-26 14:54:38 +02:00
Rasmus Lerchedahl Petersen
003fece490
python: add test for capturing via global
2023-04-26 14:52:40 +02:00
Anders Schack-Mulligen
8e6038577d
Java: Update expected output.
2023-04-26 14:45:40 +02:00
Michael Nebel
3c1456bd02
Merge pull request #12913 from michaelnebel/csharp/inappropriateencoding
...
C#: Re-factor the InappropriateEncoding query to use the new API.
2023-04-26 14:45:13 +02:00
Anders Schack-Mulligen
d681671356
Dataflow: Sync.
2023-04-26 14:45:07 +02:00
Anders Schack-Mulligen
32a738b082
Dataflow: Add type to PathNode.toString.
2023-04-26 14:43:53 +02:00
Anders Schack-Mulligen
8fcfc6f4f1
Merge pull request #12934 from aschackmull/swift/no-pp-dataflowtype
...
Swift: Remove empty string DataFlowType in PathNode.
2023-04-26 14:42:27 +02:00
Rasmus Lerchedahl Petersen
4d95b2023e
python: remember to update validTest.py
2023-04-26 14:36:52 +02:00
Asger F
0d74d88b7b
JS: Add new sink to test
2023-04-26 14:33:04 +02:00
Asger F
4df05b4e74
JS: Shift line numbers in test
2023-04-26 14:33:04 +02:00
Asger F
cb04df49eb
JS: Treat Angular2 ElementRef.nativeElement as a DOM value
2023-04-26 14:33:04 +02:00
Tony Torralba
5d80f0818c
Fix TestModels test expectation
2023-04-26 14:32:28 +02:00
Asger F
b696936d10
Merge pull request #12921 from asgerf/js/typescript-compiler-crash
...
JS: Fix extractor crash related to recursive generic type alias
2023-04-26 14:21:57 +02:00
Rasmus Wriedt Larsen
abc1d658e0
Python: More .expected accepting
2023-04-26 14:10:13 +02:00
Anders Schack-Mulligen
74242638e2
Swift: One more expected output fix.
2023-04-26 14:10:13 +02:00
Anders Schack-Mulligen
8ca5484dcf
Merge pull request #12933 from aschackmull/ruby/no-pp-dataflowtype
...
Ruby: Remove empty string DataFlowType in PathNode.
2023-04-26 14:03:56 +02:00
Michael Nebel
6eb13a6947
Java: Update customizing library models for java documentation.
2023-04-26 13:55:00 +02:00
Rasmus Lerchedahl Petersen
b71306104e
python: add test for inheritance
2023-04-26 13:50:12 +02:00
Arthur Baars
5b6d3afd89
Python: Yaml printAst and tests
2023-04-26 13:41:57 +02:00
Anders Schack-Mulligen
9fe5462b1b
Swift: Update more expected output.
2023-04-26 13:41:50 +02:00
Anders Schack-Mulligen
09d4fe21e8
Ruby: Update more expected output.
2023-04-26 13:37:07 +02:00