Nora Dimitrijević
|
60727b1e5e
|
Swift: Fix Builtin(Types) test extraction failure
|
2022-12-15 10:47:10 -05:00 |
|
Geoffrey White
|
cca0722a2b
|
Merge pull request #11710 from geoffw0/qldocalloc
C++: Clarify Allocation.qll and Deallocation.qll
|
2022-12-15 15:36:48 +00:00 |
|
Geoffrey White
|
1f7d96a74a
|
Merge branch 'main' into format
|
2022-12-15 15:17:54 +00:00 |
|
Tom Hvitved
|
f8571dd0b6
|
Data flow: Work around functionality-induced misoptimization
|
2022-12-15 15:29:14 +01:00 |
|
Tom Hvitved
|
6eda042229
|
Data flow: Sync files
|
2022-12-15 15:29:13 +01:00 |
|
Tom Hvitved
|
adc738cb15
|
Data flow: Simplify reverse flow-through pruning
|
2022-12-15 15:29:12 +01:00 |
|
Tom Hvitved
|
d34901ac8c
|
Data flow: Track return position instead of return kind
Reverts bdb205a318.
|
2022-12-15 15:29:12 +01:00 |
|
Tom Hvitved
|
1820bb4b0b
|
Data flow: Simplify forwards flow-through pruning
|
2022-12-15 15:29:11 +01:00 |
|
Tom Hvitved
|
cb84b557cf
|
Data flow: Track parameter instead of parameter position
Reverts 70d2a0df8a.
|
2022-12-15 15:29:11 +01:00 |
|
Michael Nebel
|
2034b00772
|
C#: Remove deprecated ModelCsv classes.
|
2022-12-15 15:22:52 +01:00 |
|
Michael Nebel
|
0f038ee93a
|
Java: Remove deprecated ModelCsv classes.
|
2022-12-15 15:22:44 +01:00 |
|
Michael Nebel
|
f8b1fb465b
|
C#: Downgrade script should convert list- and slice pattern to unknown expression kind.
|
2022-12-15 14:50:22 +01:00 |
|
Michael Nebel
|
352ae7919b
|
C#: Add change note.
|
2022-12-15 14:50:22 +01:00 |
|
Michael Nebel
|
b4407eefb2
|
C#: Add downgrade script.
|
2022-12-15 14:50:22 +01:00 |
|
Michael Nebel
|
2c9e8bcb2d
|
C#: Add upgrade script.
|
2022-12-15 14:50:22 +01:00 |
|
Michael Nebel
|
88c8eceb4d
|
C#: Add list pattern test and expected results.
|
2022-12-15 14:50:21 +01:00 |
|
Michael Nebel
|
e6b4055a5f
|
C#: Add list pattern sample file.
|
2022-12-15 14:50:21 +01:00 |
|
Michael Nebel
|
98e125fa98
|
C#: Add library support for list- and slice patterns.
|
2022-12-15 14:50:21 +01:00 |
|
Michael Nebel
|
cfd3c1fcbe
|
C#: Add extractor support for list- and slice patterns.
|
2022-12-15 14:50:21 +01:00 |
|
Michael Nebel
|
00354a2f08
|
C#: Add list- and slice pattern expression kinds and re-generate ExprKind.cs.
|
2022-12-15 14:50:21 +01:00 |
|
Michael Nebel
|
31c60e545e
|
Java: Update the flow test generator to create ext.yml files.
|
2022-12-15 14:46:20 +01:00 |
|
Paolo Tranquilli
|
7f505d8715
|
Swift: do not filter frontend actions
|
2022-12-15 14:39:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
a36afc6bff
|
C++: Accept more test changes.
|
2022-12-15 13:29:05 +00:00 |
|
Mathias Vorreiter Pedersen
|
99286fbdb1
|
Merge pull request #11704 from jketema/scanf-free
C++: Exclude deallocation functions as `scanf` result accesses
|
2022-12-15 13:17:43 +00:00 |
|
Michael Nebel
|
6dc798f970
|
Java: Migrate tests to use implicit ext.yml data extensions.
|
2022-12-15 14:13:07 +01:00 |
|
Geoffrey White
|
e7ea0d7ee9
|
C++: Attempt to clarify the way Allocation.qll and Deallocation.qll should be used.
|
2022-12-15 13:05:56 +00:00 |
|
Rasmus Lerchedahl Petersen
|
3a8fd910b1
|
python: do not change autogenerated file
|
2022-12-15 14:02:52 +01:00 |
|
Tom Hvitved
|
d7e44a5426
|
Merge pull request #10714 from hvitved/ruby/initialize
Ruby: Model flow through `initialize` constructors
|
2022-12-15 13:42:59 +01:00 |
|
Geoffrey White
|
8e61c78ce6
|
Swift: Fix RemoteFlowSource performance issue.
|
2022-12-15 12:36:32 +00:00 |
|
Paolo Tranquilli
|
208388e04d
|
Swift: hard code libc.dylib path on macOS
Also, handle the corner case where loading libc fails.
|
2022-12-15 13:30:23 +01:00 |
|
Owen Mansel-Chan
|
76a3fa856f
|
Use any() to stub getSyntheticGlobalType
This is used in all other languages not currently using dataflow type
pruning.
|
2022-12-15 12:24:23 +00:00 |
|
Owen Mansel-Chan
|
1a1b6a1b93
|
Use any() to stub getCallbackParameter/ReturnType
This is used in all other languages not currently using dataflow type
pruning.
|
2022-12-15 12:24:23 +00:00 |
|
Michael Nebel
|
100f64c09a
|
C#: Migrate tests to use the implicitly loaded .ext.yml data extensions.
|
2022-12-15 13:11:09 +01:00 |
|
Owen Mansel-Chan
|
0af530061d
|
Merge pull request #11697 from owen-mc/go/make-dataflowtype-singleton
Make DataFlowType a singleton
|
2022-12-15 12:07:57 +00:00 |
|
Rasmus Lerchedahl Petersen
|
a97bbdd0bc
|
python: rework hierarchy to avoid breaking API
|
2022-12-15 13:01:04 +01:00 |
|
Jeroen Ketema
|
ef61d14e9c
|
C++: Add change note
|
2022-12-15 12:57:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
73b93be313
|
C++: Prevent non-termination in 'getTypeImpl' when a iterator defines itself as 'value_type'.
|
2022-12-15 11:55:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
526b913f7d
|
C++: Fix join orders.
|
2022-12-15 11:55:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
cb47bdd9fd
|
C++: Accept test changes.
|
2022-12-15 11:55:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
f94ca0e087
|
C++: Add implicit defs and uses for iterators' underlying containers.
|
2022-12-15 11:55:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
78b7e12b87
|
C++: Make 'DefImpl' and 'useImpl' abstract.
|
2022-12-15 11:54:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
5d417d7a69
|
C++: Implement an 'Indirection' subtype for iterators.
|
2022-12-15 11:54:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
ef110e77ff
|
C++: Remove an unnecessary predicate from the 'Indirection' class.
|
2022-12-15 11:54:32 +00:00 |
|
Rasmus Lerchedahl Petersen
|
997e3599f0
|
python: make tests valid and more fleshed out
|
2022-12-15 12:54:16 +01:00 |
|
Rasmus Lerchedahl Petersen
|
8e8d36f35e
|
python: this also works in 3.11
|
2022-12-15 12:54:14 +01:00 |
|
Rasmus Lerchedahl Petersen
|
3ace1ee69f
|
Python: remove obsolete coments
|
2022-12-15 12:54:13 +01:00 |
|
Asger F
|
c2a10a3206
|
JS: Elaborate on comment about window
|
2022-12-15 12:46:46 +01:00 |
|
Jeroen Ketema
|
0b4c4fd580
|
C++: Simplify deallocation check
|
2022-12-15 12:46:32 +01:00 |
|
Asger F
|
2052ba6fa6
|
JS: sake of example -> this example
|
2022-12-15 12:45:53 +01:00 |
|
Asger F
|
fb6a6e550c
|
JS: Factor beta notice into a reusable snippet
|
2022-12-15 12:42:59 +01:00 |
|