Stephan Brandauer
92ad02a752
Java: update getRelatedLocation qldoc
2023-06-07 14:09:07 +02:00
Stephan Brandauer
be6b1d8aaf
Java: remove SkipFrameworkModeling characteristic in favour of later evaluation
2023-06-07 13:58:56 +02:00
Stephan Brandauer
2e16b71215
Java: update qldoc of ClassQualifierCharacteristic
2023-06-07 13:52:57 +02:00
Stephan Brandauer
1bfbfec1bc
Java: use problem.severity in automodel extraction queries
2023-06-07 13:44:52 +02:00
Stephan Brandauer
5de56db3af
Java: QlDoc for isKnownKind
2023-05-31 14:13:14 +02:00
Stephan Brandauer
03051dde7f
Java: spelling
2023-05-31 14:13:14 +02:00
Taus
ea5c36491b
Java: Improve documentation of sampling strategy
2023-05-31 11:39:54 +00:00
Stephan Brandauer
5a9d09c49e
Java: docs update
...
Co-authored-by: Aditya Sharad <6874315+adityasharad@users.noreply.github.com >
2023-05-31 13:36:58 +02:00
Stephan Brandauer
12ea5e0e90
Java: fix sanitizer bug
2023-05-31 11:53:02 +02:00
Stephan Brandauer
86559317d7
Java: update comments
2023-05-31 11:52:26 +02:00
Stephan Brandauer
96bae2d5ec
Java: avoid downcasting to DollarAtString
2023-05-31 10:41:52 +02:00
Taus
73aa790cdd
Java: Improve sampling strategy
...
Instead of the "random" sampling used before (which could -- in rare circumstances -- end up sampling fewer points than we want) we now sample an equally distributed set of points.
2023-05-30 11:22:26 +00:00
Stephan Brandauer
d4b964c849
add support for sanitizers
2023-05-30 10:25:52 +02:00
Taus
227c5fab40
Java: Get location ordering without toString
2023-05-26 14:52:08 +00:00
Stephan Brandauer
efe539eb32
Java: better sampling of negative examples
2023-05-26 14:15:32 +02:00
Stephan Brandauer
a89378d86d
Java: add extra known frameworks and sample negative samples to manage sarif file sizes
2023-05-26 13:20:04 +02:00
Stephan Brandauer
5ca2221097
remove some of the biggest frameworks from application mode consideration
2023-05-25 17:06:02 +02:00
Stephan Brandauer
db77c6b9a3
Java: mark functional expressions as likely not sinks
2023-05-25 16:39:27 +02:00
Stephan Brandauer
76d731a61d
improve CannotBeTaintedCharacteristic
2023-05-25 16:28:07 +02:00
Stephan Brandauer
9a041243ff
Java: fine-tune characteristics
2023-05-25 14:16:32 +02:00
Stephan Brandauer
f224a40dec
Java: use containing call as call context, not argument
2023-05-25 14:16:23 +02:00
Stephan Brandauer
33fdb0fc52
Java: remove superfluous characteristic
2023-05-25 14:16:23 +02:00
Taus
2000f22533
Java: Port over characteristics from codex branch
2023-05-25 14:16:23 +02:00
Taus
11ab7e2e71
Java: Share argument indexing logic
...
Adds a utility predicate for turning integer indices into the desired string representation.
2023-05-25 14:16:23 +02:00
Taus
04b8bf35d4
Java: Avoid overlapping import
...
Importing `AutomodelEndpointTypes` inside `AutomodelSharedUtil` non-privately made it overlap with the imports in the candidate extraction queries.
2023-05-25 14:16:23 +02:00
Stephan Brandauer
db61a2d099
Java: share isKnownKind between modes
2023-05-25 14:16:16 +02:00
Stephan Brandauer
d93ad9b398
Java: remove unneeded abstract metadata extractor classes and fix some names
2023-05-25 14:16:11 +02:00
Stephan Brandauer
6e21f14c09
Java: update extraction query metadata
2023-05-25 14:16:03 +02:00
Stephan Brandauer
7c3bc26c41
Java: make input an actual string, not an integer
2023-05-25 14:15:59 +02:00
Stephan Brandauer
185ad101b3
Java: add application-mode and framework-mode tags to extraction queries
2023-05-25 14:15:50 +02:00
Taus
9b30f9a476
Java: Add negative characteristic for static calls
2023-05-25 14:15:49 +02:00
Taus
6fc16574b3
Java: Add QL support for automodel application mode
2023-05-25 14:15:49 +02:00
Paolo Tranquilli
5de8934525
Merge pull request #13277 from github/redsun82/swift-consistency-accept
...
Swift: add consistency check and accept results for the moment
2023-05-25 11:56:54 +02:00
Paolo Tranquilli
f5070bb082
Merge pull request #13282 from github/redsun82/swift-change-note-check
...
Swift: turn change note check on
2023-05-25 11:23:10 +02:00
Paolo Tranquilli
d1be942f04
Swift: turn change note check on
2023-05-25 11:04:21 +02:00
Paolo Tranquilli
ac31209233
Swift: add change notes to consistency queries
2023-05-25 10:56:25 +02:00
Paolo Tranquilli
8d656a996b
Swift: add QLdoc to AST consistency checks
2023-05-25 09:56:39 +02:00
Tony Torralba
ca83b7c0f2
Merge pull request #13280 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2023-05-25 09:33:09 +02:00
github-actions[bot]
5be4f6e58b
Add changed framework coverage reports
2023-05-25 00:16:11 +00:00
Mathias Vorreiter Pedersen
f9a464605b
Merge pull request #13226 from rdmarsh2/rdmarsh2/cpp/cobo-neq-refinement
...
C++: fix equality refinement in new range analysis
2023-05-24 15:19:02 -07:00
Robert Marsh
7404bd9c4b
Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement
2023-05-24 14:13:38 -04:00
Paolo Tranquilli
63fb0581c2
Swift: accept inconsistencies for now
2023-05-24 20:09:46 +02:00
Paolo Tranquilli
67a9141e8c
Swift: make AST printer consistency query more helpful
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
b9fe056d81
Swift: add qlpack.yml to consistency-queries
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
85fdcd9912
Swift: move consistency queries
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
e513af1bcf
Swift: add CFG and PrintAst consistency queries, enabling them in CI
2023-05-24 18:10:08 +02:00
Mathias Vorreiter Pedersen
fca5fb6177
Merge pull request #13269 from jketema/inline-module
...
C++/Swift: Rewrite inline expectation tests to use the parameterized module
2023-05-24 08:10:42 -07:00
Mathias Vorreiter Pedersen
4496fd58ae
Merge pull request #13271 from jketema/invalid-pointer-deref-fp-2
...
C++: Add `cpp/invalid-pointer-deref` FP test case
2023-05-24 08:05:58 -07:00
Kasper Svendsen
92b408fbc1
Merge pull request #13274 from kaspersv/kaspersv/late-inline-member-preds-doc
...
Docs: Late inlining now supported for member predicates
2023-05-24 16:19:42 +02:00
Kasper Svendsen
770e76a04d
Docs: Late inlining now supported for member predicates
2023-05-24 14:02:58 +02:00
