Paolo Tranquilli
874fe2b8f9
Swift: introduce an in-memory file hash cache
...
File hashing is now done internally in `SwiftFileInterception` (and
exported as a `getHashOfRealFile` function for future use in linkage
awareness), and using a per-process in-memory cache. The persistent
caching of paths is removed, so the solution is now robust against input
file changes during the build.
For the same reason, the hash to artifact mapping have the symlinks
reversed now. The artifacts themselves are stored using the hash as
filenames, and the original paths of the artifacts are reacreated in the
scratch dir with symlinks mostly for debugging purposes (to understand
what artifact each hash corresponds to, and to follow what was built by
the extractor).
2023-01-16 12:05:36 +01:00
Tony Torralba
fdb3b65bce
Apply suggestions from code review
...
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com >
2023-01-16 11:57:37 +01:00
Tony Torralba
7f880a24df
Merge pull request #11886 from jelaiw/jelaiw-patch-1
...
Fix small typo in good/bad code sample.
2023-01-16 09:43:23 +01:00
Paolo Tranquilli
738412260f
Merge branch 'main' into redsun82/swift-open-redirection
2023-01-16 09:09:10 +01:00
jelaiw
cf7189bb28
Fix small typo in good/bad code sample.
2023-01-13 19:16:11 -06:00
Geoffrey White
1a416884d4
C++: Do something similar with the other three cases.
2023-01-14 00:09:01 +00:00
Geoffrey White
316117f5c9
C++: Reduce number of regexps.
2023-01-13 18:50:41 +00:00
Geoffrey White
2f09f0e2c1
C++: Turn the huge list into a predicate.
2023-01-13 18:47:18 +00:00
Geoffrey White
13ae15b867
C++: Add tests for more edge cases.
2023-01-13 18:38:29 +00:00
Jami Cogswell
fb6725ddaa
Java: add WithoutElement comment for clear methods
2023-01-13 13:20:45 -05:00
Mathias Vorreiter Pedersen
2dbacbc302
Merge pull request #11841 from MathiasVP/swift-add-integral-types
...
Swift: Add integral type classes
2023-01-13 17:30:57 +00:00
Robert Marsh
601b43ac0a
Merge branch 'main' into rdmarsh2/parameterize-range-analysis
...
Conflicting change to boundedPhiInp copied to RangeAnalysisStage.qll
2023-01-13 12:06:21 -05:00
Geoffrey White
c9a0067705
Swift: Remove flow in cases with multiple variables.
2023-01-13 16:37:23 +00:00
Mathias Vorreiter Pedersen
c5038ed281
Merge pull request #11883 from MathiasVP/fold-definitions
...
C++: Fix bad join in `definitionOf`
2023-01-13 16:28:26 +00:00
Mathias Vorreiter Pedersen
6e6f2115c0
Merge pull request #11857 from MathiasVP/speedup-missing-check-scanf
...
C++: Speedup `cpp/missing-check-scanf`
2023-01-13 16:11:16 +00:00
Geoffrey White
2c35af51cd
Swift: Move logic into Ssa::WriteDefinition.assigns.
2023-01-13 15:19:33 +00:00
Geoffrey White
8a77906296
Swift: Use Ssa::Definition rather than ConcreteVarDecl.
2023-01-13 15:01:20 +00:00
Michael Nebel
2d46272295
Merge pull request #11881 from michaelnebel/java/modeldiffignore
...
Java: Ignore missing html artifacts in the Model Diff workflow.
2023-01-13 14:11:19 +01:00
Michael Nebel
b36be009d4
Merge pull request #11834 from michaelnebel/csharp/operators
...
C# 11: Extractor and library support for Unsigned right shift.
2023-01-13 13:21:02 +01:00
erik-krogh
71af8ab022
simplifications inspired by review
2023-01-13 13:18:52 +01:00
Mathias Vorreiter Pedersen
2283eacc0b
C++: Fix bad join in 'definitionOf'.
2023-01-13 11:42:15 +00:00
Mathias Vorreiter Pedersen
59072f9e81
C++: Improve QLDoc.
2023-01-13 11:01:23 +00:00
Mathias Vorreiter Pedersen
dd8bead21a
C++: Fix spurious backticks.
2023-01-13 10:57:44 +00:00
Mathias Vorreiter Pedersen
cf9998b932
Merge pull request #5 from geoffw0/integraltypes
...
Swift: Work on integral type classes
2023-01-13 10:01:23 +00:00
Arthur Baars
5865b51a94
Ruby: build extractor using cross
2023-01-13 10:25:27 +01:00
Arthur Baars
dc6f5f60d1
Ruby: update stats
2023-01-13 10:22:42 +01:00
Arthur Baars
28c9b52dce
Ruby: add change note
2023-01-13 10:22:42 +01:00
Arthur Baars
46063c7d04
Ruby: update expected output
2023-01-13 10:22:41 +01:00
Arthur Baars
c4ec674057
Ruby: support anonymous (hash)splat parameters/arguments
2023-01-13 10:22:41 +01:00
Arthur Baars
4d3e2bb814
Ruby: upgrade/downgrade scripts
2023-01-13 10:22:41 +01:00
Arthur Baars
290167e1a3
Ruby: re-generated dbscheme/library
2023-01-13 10:22:41 +01:00
Arthur Baars
3a887d1c92
Ruby: update tree-sitter-{ruby, embedded-template}
2023-01-13 10:22:41 +01:00
Charis Kyriakou
792d4a83f9
Rename VS Code Extension Run Query command
2023-01-13 08:46:35 +00:00
Michael Nebel
600412db48
Java: Ignore missing html artifacts.
2023-01-13 08:58:53 +01:00
Michael Nebel
3b15f2359b
Merge pull request #11861 from michaelnebel/java/testmodeldiff
...
Java: Update the Model Difference workflow to use the `gh api`.
2023-01-13 08:20:18 +01:00
Jami Cogswell
a43f3cf95f
Java: remove Supplier.get model
2023-01-12 17:09:13 -05:00
Jami Cogswell
f040ff2d8d
Java: undo change to Function.apply test case
2023-01-12 17:01:58 -05:00
Robert Marsh
337a747bde
C++: cleanup some unneeded code
2023-01-12 16:38:58 -05:00
Robert Marsh
b2b45237c6
C++: use rounding to prevent float wobble in range analysis
2023-01-12 16:38:57 -05:00
Robert Marsh
31b61b1aa6
C++: fix a join order in range analysis
2023-01-12 16:38:57 -05:00
Robert Marsh
938176c9da
C++: update test QL for modulus and sign analysis
...
These now instantiate their respective parameterized modules. No
results change.
2023-01-12 16:38:56 -05:00
Robert Marsh
7586762b10
C++: fix ambiguous import warnings
2023-01-12 16:38:56 -05:00
Robert Marsh
488368ecde
C++: private import for module params
2023-01-12 16:38:55 -05:00
Robert Marsh
23281410e3
C++: Make bounds import private to preserve API
2023-01-12 16:38:54 -05:00
Robert Marsh
6db728190e
C++: autoformat
2023-01-12 16:38:36 -05:00
Robert Marsh
02f1957919
C++: make SemBound a RangeAnalysis parameter
2023-01-12 16:38:11 -05:00
Robert Marsh
71b93d125e
C++: Make RangeAnalysis.qll expose the old API
2023-01-12 16:38:11 -05:00
Robert Marsh
fb1ef07e9f
C++: more parameterized modules in range analysis
...
This makes the modulus analysis and sign analysis into parameterized
modules which are instantiated in the main range analysis module, and
makes RangeAnalysisSpecific and RangeUtils into parameters to the main
range analysis.
Some classes also need to be moved and made into `instanceof` extensions
because they'd otherwise be extending across parameterized module
boundaries.
2023-01-12 16:38:10 -05:00
Robert Marsh
c062d5e206
C++: move language specific predicates to LangParam
2023-01-12 16:38:10 -05:00
Robert Marsh
c10733f926
C++: fix float binding issue in range analysis
2023-01-12 16:38:09 -05:00
