Taus
|
3656376cc4
|
Merge pull request #16064 from github/max-schaefer/fix-unexploitable-types
Automodel: Filter unexploitable types in application mode.
|
2024-04-09 17:14:53 +02:00 |
|
github-actions[bot]
|
8e61c6625b
|
Post-release preparation for codeql-cli-2.17.0
|
2024-04-01 15:27:42 +00:00 |
|
github-actions[bot]
|
ec97d9a304
|
Release preparation for version 2.17.0
|
2024-04-01 13:46:57 +00:00 |
|
Max Schaefer
|
32ebd4eebb
|
Automodel: Filter unexploitable types in application mode.
We already did this in framework mode.
|
2024-03-27 12:22:24 +00:00 |
|
github-actions[bot]
|
f67b5f9158
|
Post-release preparation for codeql-cli-2.16.6
|
2024-03-25 18:17:15 +00:00 |
|
github-actions[bot]
|
71ab804274
|
Release preparation for version 2.16.6
|
2024-03-25 16:58:08 +00:00 |
|
github-actions[bot]
|
aebe9f6992
|
Post-release preparation for codeql-cli-2.16.5
|
2024-03-18 12:16:26 +00:00 |
|
github-actions[bot]
|
0a6243d07b
|
Release preparation for version 2.16.5
|
2024-03-18 10:14:07 +00:00 |
|
github-actions[bot]
|
dc9092c9ec
|
Post-release preparation for codeql-cli-2.16.4
|
2024-03-06 22:19:33 +00:00 |
|
github-actions[bot]
|
2f058ffb4d
|
Release preparation for version 2.16.4
|
2024-03-06 20:56:51 +00:00 |
|
Angela P Wen
|
ce31f8641a
|
Revert "Release preparation for version 2.16.4"
|
2024-03-06 12:07:33 -08:00 |
|
github-actions[bot]
|
661e68dab5
|
Release preparation for version 2.16.4
|
2024-03-05 18:13:58 +00:00 |
|
Angela P Wen
|
967963a653
|
Revert "Release preparation for version 2.16.4"
|
2024-03-05 08:53:33 -08:00 |
|
github-actions[bot]
|
a67218a027
|
Release preparation for version 2.16.4
|
2024-03-04 17:42:08 +00:00 |
|
Max Schaefer
|
f2935caa5c
|
Merge pull request #15732 from github/max-schaefer/more-sink-types
Automodel: Add four more sink types.
|
2024-02-27 15:52:45 +00:00 |
|
github-actions[bot]
|
37f8fa3413
|
Post-release preparation for codeql-cli-2.16.3
|
2024-02-20 16:50:47 +00:00 |
|
github-actions[bot]
|
6d061fbc35
|
Release preparation for version 2.16.3
|
2024-02-20 14:26:23 +00:00 |
|
Max Schaefer
|
75f66c2191
|
Add four more sink types.
|
2024-02-20 13:48:20 +00:00 |
|
Max Schaefer
|
139ef60f69
|
Automodel: Release query pack.
|
2024-02-19 11:47:31 +00:00 |
|
Max Schaefer
|
a95f4128d9
|
Merge pull request #15554 from github/max-schaefer/automodel-candidate-fixes
Automodel: Improve handling of varargs and overriding in extraction queries
|
2024-02-16 08:51:54 +00:00 |
|
Max Schaefer
|
652b6bb8e1
|
Fix bugs revealed by omittable exists variables.
|
2024-02-15 16:29:20 +00:00 |
|
Max Schaefer
|
104a8d980c
|
Automodel: Make description of some negative characteristics more explicit.
|
2024-02-13 08:18:13 +00:00 |
|
Max Schaefer
|
48105db5b0
|
Fix isNeutral predicates.
|
2024-02-08 13:22:53 +00:00 |
|
Max Schaefer
|
4b9443eb15
|
Properly recognise existing models involving subtypes.
If an existing source/sink model specifies `subtypes=True` we should apply it to endpoints on overriding methods.
|
2024-02-08 13:22:53 +00:00 |
|
Max Schaefer
|
02547d3839
|
Improve representation of implicit varargs arrays to more reliably filter out known flow steps.
|
2024-02-08 13:22:52 +00:00 |
|
github-actions[bot]
|
b5139078d0
|
Post-release preparation for codeql-cli-2.16.2
|
2024-02-06 19:22:35 +00:00 |
|
github-actions[bot]
|
c1b35fbf47
|
Release preparation for version 2.16.2
|
2024-02-05 17:58:57 +00:00 |
|
Max Schaefer
|
e47b021050
|
Do not consider expressions as candidates whose type is annotated with @FunctionalInterface.
|
2024-02-01 11:04:14 +00:00 |
|
github-actions[bot]
|
d0b74c00fe
|
Post-release preparation for codeql-cli-2.16.1
|
2024-01-23 23:02:29 +00:00 |
|
github-actions[bot]
|
7ef611e6dc
|
Release preparation for version 2.16.1
|
2024-01-23 19:45:16 +00:00 |
|
Max Schaefer
|
5c43a0b1e4
|
Merge pull request #15356 from github/max-schaefer/automodel-void-source-candidates
Automodel: Switch tests to inline expectations
|
2024-01-22 17:05:10 +00:00 |
|
Max Schaefer
|
78e5a1a546
|
Autoformat.
|
2024-01-22 10:45:33 +00:00 |
|
Max Schaefer
|
3ae484868a
|
Merge pull request #15326 from github/max-schaefer/automodel-negative-sink-models
Automodel: Apply negative characteristics only to endpoints of the right kind.
|
2024-01-17 15:54:28 +00:00 |
|
Max Schaefer
|
ae23920a6d
|
Fix spurious source models for primitive types in framework mode.
|
2024-01-17 15:36:31 +00:00 |
|
Max Schaefer
|
9975f974ee
|
Autoformat.
|
2024-01-17 14:53:09 +00:00 |
|
Max Schaefer
|
6c47a5d5f9
|
Refactor framework-mode queries to make them more easily testable.
|
2024-01-17 14:51:58 +00:00 |
|
Max Schaefer
|
adea805546
|
Refactor application-mode tests so we can reuse most of it for framework mode.
|
2024-01-17 14:49:19 +00:00 |
|
Max Schaefer
|
692d5e55a2
|
Use inline expectations for positive examples.
|
2024-01-17 14:48:22 +00:00 |
|
Max Schaefer
|
83c567385f
|
Use inline expectations for negative-example tests as well.
|
2024-01-17 14:47:39 +00:00 |
|
Max Schaefer
|
1ebd0747a8
|
Fix treatment of void method calls.
|
2024-01-17 14:40:47 +00:00 |
|
Max Schaefer
|
587d69e88c
|
Refactor application-mode candidate-extraction query so we can test its results before sampling.
|
2024-01-17 14:40:46 +00:00 |
|
Max Schaefer
|
800a78d258
|
Treat unexploitable types more centrally.
The apparently missing test result is due to sampling.
|
2024-01-17 14:40:37 +00:00 |
|
Max Schaefer
|
8614d7bddb
|
Address review feedback.
|
2024-01-17 14:29:52 +00:00 |
|
Max Schaefer
|
90a4552c4f
|
Fix omittable exists.
|
2024-01-15 13:45:03 +00:00 |
|
Max Schaefer
|
fee44074f7
|
Autoformat.
|
2024-01-15 13:44:45 +00:00 |
|
Max Schaefer
|
3befce98b3
|
When checking whether an endpoint has already been modelled, make sure to take the extensibleType into account.
|
2024-01-15 12:09:39 +00:00 |
|
Max Schaefer
|
68cf9aca12
|
Remove a few getExtensibleType checks which are now unnecessary.
|
2024-01-15 11:50:59 +00:00 |
|
Max Schaefer
|
919330fb53
|
Some more performance refactoring.
|
2024-01-12 17:38:58 +00:00 |
|
Max Schaefer
|
bb63fcde43
|
Refactor to avoid bad join order.
|
2024-01-12 15:24:24 +00:00 |
|
Max Schaefer
|
45ca301593
|
Rename a predicate.
|
2024-01-12 13:18:05 +00:00 |
|