Stephan Brandauer
f7f6f104d0
use NegativeEndpointType class; replace link to slack discussion
2023-05-02 13:15:30 +02:00
Mathias Vorreiter Pedersen
ab67103e6e
Merge pull request #12966 from MathiasVP/dataflow-for-static-vars
...
C++: Dataflow for static local variables
2023-05-02 11:52:43 +01:00
github-actions[bot]
18d4af994d
Post-release preparation for codeql-cli-2.13.1
2023-05-02 10:50:20 +00:00
Geoffrey White
664500d2e6
Swift: Fix member variable sinks in swift/hardcoded-key.
2023-05-02 11:26:21 +01:00
Geoffrey White
adbd2c467d
Swift: Fix member variable sinks in swift/path-ionjection.
2023-05-02 11:26:20 +01:00
Tony Torralba
564bb1ccb0
Manual fixes
2023-05-02 11:27:48 +02:00
Anders Schack-Mulligen
97cd3b8576
Java: Force high precision for MapValueContent.
2023-05-02 11:19:21 +02:00
Asger F
04e393fcf8
JS: Change note
2023-05-02 11:02:58 +02:00
Paolo Tranquilli
c65c65557d
Swift: accept string representation changes in test
2023-05-02 10:49:31 +02:00
Anders Schack-Mulligen
ca09649679
Dataflow: Forward hasLocationInfo.
2023-05-02 10:48:32 +02:00
Asger F
f59c149bae
Ruby: add SQL injection sinks to meta query
2023-05-02 10:46:55 +02:00
Paolo Tranquilli
3685590a12
Swift: remove version control markers
2023-05-02 10:45:43 +02:00
Paolo Tranquilli
7adcd0d043
Swift: small tweak to visitBuiltinType
2023-05-02 10:45:43 +02:00
Paolo Tranquilli
87c73879cb
Swift: add explanation to getExtensionIndex
2023-05-02 10:45:43 +02:00
Paolo Tranquilli
826d7c7dbe
Swift: preload extension indexes
...
Finding each extension declaration separately within its parent seemed
to create an `O(n^2)` noticeable performance problem. This is solved
by preloading indexes and storing them in a map, so as to iterate
through the parent of an extension only once per parent instead of once
per extension.
2023-05-02 10:45:43 +02:00
Paolo Tranquilli
146591934a
Swift: clean up SwiftMangler
2023-05-02 10:45:43 +02:00
Paolo Tranquilli
f6a6958c03
Swift: mangle ParameterizedProtocolType
2023-05-02 10:45:43 +02:00
Alex Denisov
92c20be038
Swift: change indexing for extension declarations to make them more stable
2023-05-02 10:45:42 +02:00
Alex Denisov
6c954eae3c
Swift: handle isolated types
2023-05-02 10:45:42 +02:00
Paolo Tranquilli
dfbc248e78
Swift: mangle opened archetype and fix global actor
2023-05-02 10:45:42 +02:00
Paolo Tranquilli
0aed7d56c2
Swift: more mangling
2023-05-02 10:45:42 +02:00
Paolo Tranquilli
2592129d83
Swift: mangle remaining unmangled types appearing during test run
2023-05-02 10:45:42 +02:00
Paolo Tranquilli
c8ca6057d3
Swift: mangle several new things
2023-05-02 10:45:40 +02:00
Paolo Tranquilli
4ac91ea1b2
Swift: mangle function types, type paramters, metatypes, dependent member types
2023-05-02 10:39:46 +02:00
Anders Schack-Mulligen
2001ce34d4
Java/C#: Adjust references.
2023-05-02 10:21:09 +02:00
Tony Torralba
51c08f1314
Merge pull request #12969 from atorralba/atorralba/java/fix-model-generator-sinks-instance-parameters
...
Java: Fix sink model generator for instance parameters
2023-05-02 10:10:59 +02:00
Mathias Vorreiter Pedersen
fbc872cf1d
Update cpp/ql/lib/change-notes/2023-04-28-static-local-dataflow.md
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2023-05-02 09:07:57 +01:00
Paolo Tranquilli
dcca0278b8
Swift: add more functions to deduplication test
2023-05-02 09:54:59 +02:00
Paolo Tranquilli
ab5b267a39
Swift: add GenericFunctionType to deduplication test
2023-05-02 09:54:04 +02:00
Paolo Tranquilli
2eb82fede7
Swift: restrict Type.ql for deduplication test
2023-05-02 09:52:34 +02:00
Paolo Tranquilli
b6146478dc
Swift: mangle nominal and bound generic types
2023-05-02 09:49:48 +02:00
Paolo Tranquilli
1274aaaf9c
Swift: mangle GenericTypeDecl
2023-05-02 09:49:48 +02:00
Paolo Tranquilli
476cf72710
Swift: mangle AnyGenericType
2023-05-02 09:49:48 +02:00
Paolo Tranquilli
348bc964be
Swift: turn current decl mangling into visitor
2023-05-02 09:49:48 +02:00
Paolo Tranquilli
b269bd5010
Swift: mangle builtin and tuple types
2023-05-02 09:49:48 +02:00
Anders Schack-Mulligen
5927bb2030
Dataflow: Replace "extends Node" with "instanceof Node".
2023-05-02 09:48:34 +02:00
Maiky
5d15ec99c8
Change expected file to new
2023-05-02 09:26:41 +02:00
tyage
be9c8d28b5
JS: drop string comparison
2023-05-02 12:41:03 +09:00
tyage
0d991574ec
Fix typo in test
2023-05-02 12:00:42 +09:00
Robert Marsh
c6e0ee2695
C++: fix duplicated UnreachedInstruction in raw IR
2023-05-01 22:54:37 -04:00
Robert Marsh
6dfc59874b
C++: more UnreachedInstruction fixes
2023-05-01 22:25:18 -04:00
Robert Marsh
e44073718f
C#: Add hasUnreachedInstruction to raw IR
2023-05-01 22:25:18 -04:00
Robert Marsh
7f12f6dc3e
C++/C#: format and sync identical files
2023-05-01 22:25:18 -04:00
Robert Marsh
44b6af652e
C++: use Options::exits() for noreturn functions
2023-05-01 22:25:17 -04:00
Robert Marsh
c01ee597fa
C++: handle calls to noreturn functions
2023-05-01 22:25:12 -04:00
Nora Dimitrijević
383b2e183d
Merge pull request #12936 from d10c/swift/rename-functions
...
Swift: rename ugly names in the Function AST hierarchy
2023-05-01 17:08:19 +02:00
Michael Nebel
a9cf6885d0
Merge pull request #12952 from michaelnebel/csharp/refactorcontentflow
...
C#: Re-factor ContentFlow to a parameterised module and use the new API.
2023-05-01 15:53:57 +02:00
Rasmus Lerchedahl Petersen
e65ff68547
python: update debug queries
2023-05-01 14:58:42 +02:00
Anders Schack-Mulligen
6c8cb0dc5e
Merge pull request #12930 from aschackmull/dataflow/split-typedcontent
...
Dataflow: Refactor access paths to split TypedContent into an explicit pair
2023-05-01 14:58:15 +02:00
Tom Hvitved
3a8a585335
Merge pull request #12979 from hvitved/type-tracking-inline-late
...
Type tracking: Use `noopt`+`inline_late` in `TypeTracker::[small]step`
2023-05-01 14:58:04 +02:00
