Calum Grant
|
cd1f10cdea
|
C++: Reinstate accidentally-deleted comment
|
2024-10-01 16:15:24 +01:00 |
|
Calum Grant
|
a9b3c0d91b
|
C++: Address review comments
|
2024-10-01 15:47:12 +01:00 |
|
Calum Grant
|
fe00c8819d
|
C++: Fix formatting
|
2024-10-01 11:26:47 +01:00 |
|
Calum Grant
|
4712ae1cfc
|
C++: Use refactored isFirstAllocatorCallArgument()
|
2024-10-01 11:01:51 +01:00 |
|
Calum Grant
|
59a77d70c0
|
C++: Use Function::hasErrors in queries
|
2024-10-01 11:01:23 +01:00 |
|
Calum Grant
|
4b5aa1497b
|
C++: Implement Function::hasErrors()
|
2024-10-01 11:00:44 +01:00 |
|
Calum Grant
|
60abea17e6
|
C++: Test for cpp/uninitialized-local
|
2024-10-01 10:32:17 +01:00 |
|
Tamás Vajk
|
752502ba76
|
Merge pull request #17619 from tamasvajk/text-file-archiving-warning
C#: reduce extraction message severity for missing text files
|
2024-09-30 14:07:45 +02:00 |
|
Tamas Vajk
|
29948e4c0b
|
C#: reduce extraction message severity for missing text files
|
2024-09-30 12:31:07 +02:00 |
|
Michael Nebel
|
6f74387600
|
Merge pull request #17521 from michaelnebel/modelgen/moreimprovements
C#/Java: Content based model generation improvements.
|
2024-09-30 11:22:30 +02:00 |
|
Tom Hvitved
|
4513643a0f
|
Merge pull request #17617 from hvitved/rust/extraction-consistency
Rust: Add extraction error consistency query
|
2024-09-30 11:06:34 +02:00 |
|
Tom Hvitved
|
3e77dd8b6b
|
Rust: Fix extraction errors
|
2024-09-30 10:36:56 +02:00 |
|
Tom Hvitved
|
bafef791f7
|
Rust: Add extraction error consistency query
|
2024-09-30 10:28:24 +02:00 |
|
Anders Schack-Mulligen
|
a017f92b78
|
Merge pull request #17579 from aschackmull/java/type-sanitizers
Java: Add more type-based sanitizers.
|
2024-09-30 10:07:06 +02:00 |
|
Tom Hvitved
|
8a1b4501dd
|
Merge pull request #17602 from hvitved/rust/cfg-prune-bool-literal
Rust: Prune CFG for obviously impossible `true/false` edges
|
2024-09-30 10:05:03 +02:00 |
|
Anders Schack-Mulligen
|
b0ed47c277
|
Merge pull request #17605 from aschackmull/java/stringbuilder-neutrals
Java: Add a couple of neutrals
|
2024-09-30 10:03:41 +02:00 |
|
Michael Nebel
|
baae8d0bb2
|
Shared: Address model generator review comments.
|
2024-09-30 09:12:30 +02:00 |
|
Owen Mansel-Chan
|
654d97013f
|
Merge pull request #17607 from owen-mc/go/add-comments-about-interface-methods-from-embedded-interfaces
Go: Add comments noting methods from embedded interfaces are already included
|
2024-09-28 13:49:50 +01:00 |
|
Chris Smowton
|
ca68aaa0de
|
Remove test code
|
2024-09-27 19:07:00 +01:00 |
|
Owen Mansel-Chan
|
796db77104
|
Add comments noting methods from embedded interfaces are already included
|
2024-09-27 15:03:09 +01:00 |
|
Anders Schack-Mulligen
|
fb630d266e
|
Java: Add a couple of neutrals
|
2024-09-27 15:24:06 +02:00 |
|
Tom Hvitved
|
90a8bef64c
|
Rust: Run codegen
|
2024-09-27 13:39:15 +02:00 |
|
Ian Lynagh
|
7de1182f92
|
Merge pull request #17599 from igfoo/igfoo/constrs
Kotlin: Fix the return type for lambda constructors
|
2024-09-27 12:38:50 +01:00 |
|
Tom Hvitved
|
dc4160b24a
|
Rust: Prune CFG for impossible true/false edges
|
2024-09-27 13:37:29 +02:00 |
|
Tom Hvitved
|
bf58bdd2bd
|
Rust: Update CFG tests
|
2024-09-27 13:35:14 +02:00 |
|
Tom Hvitved
|
431b33a274
|
Rust: Implement LiteralExpr::toString()
|
2024-09-27 13:33:25 +02:00 |
|
Tom Hvitved
|
97ead6f462
|
Merge pull request #17560 from hvitved/codegen/remove-cached
Codegen: Do not cache injectors/projectors in `Synth` module
|
2024-09-27 13:17:02 +02:00 |
|
Ian Lynagh
|
2a5b48930a
|
Kotlin: Fix the return type for lambda constructors
|
2024-09-27 11:21:40 +01:00 |
|
Ian Lynagh
|
08be35fc2c
|
Kotlin: Add a test for constructors
|
2024-09-27 11:21:23 +01:00 |
|
Michael Nebel
|
0b39c5b982
|
C#/Java: Update model generator expected output.
|
2024-09-27 09:22:29 +02:00 |
|
Michael Nebel
|
80497f551e
|
Shared: Only make unlifted models in case the API itself is relevant.
|
2024-09-27 09:22:25 +02:00 |
|
Michael Nebel
|
3d1a403655
|
C#: Add example of content based summary on private method.
|
2024-09-27 09:22:20 +02:00 |
|
Michael Nebel
|
ccadfa134e
|
Shared: Update the model generator script to allow execution of the mixed model generator queries.
|
2024-09-27 09:22:15 +02:00 |
|
Michael Nebel
|
8310faa2e9
|
C#/Java: Add a query that uses both content based and non-content based model generation.
|
2024-09-27 09:22:11 +02:00 |
|
Owen Mansel-Chan
|
fdff209938
|
Merge pull request #17505 from owen-mc/go/inheritance-tests
Go: Add tests for model inheritance and fix bug in promoted methods
|
2024-09-26 16:42:25 +01:00 |
|
Calum Grant
|
8e85f24c95
|
Merge pull request #17553 from github/calumgrant/bmn/wrong-number-of-format-arguments
C++: Remove FPs in cpp/wrong-number-format-arguments due to BMN
|
2024-09-26 15:01:23 +01:00 |
|
Calum Grant
|
8967989c7b
|
C++: Rename change-note
|
2024-09-26 13:39:46 +01:00 |
|
Tom Hvitved
|
7c473c38c0
|
Merge pull request #17585 from hvitved/shared/cfg-scope-no-first-consistency
Shared: Add CFG consistency check for scopes with missing entry points
|
2024-09-26 14:05:08 +02:00 |
|
Calum Grant
|
dcb75f490f
|
Update cpp/ql/src/change-notes/2024-09-26-wrong-number-format-arguments
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-09-26 13:05:06 +01:00 |
|
Calum Grant
|
8045440d00
|
Update cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-09-26 13:04:52 +01:00 |
|
Rasmus Wriedt Larsen
|
7c32efc218
|
Merge pull request #17203 from RasmusWL/threat-models
Python: Add support for threat models
|
2024-09-26 13:15:46 +02:00 |
|
Rasmus Wriedt Larsen
|
381ea93ec3
|
Merge pull request #17424 from RasmusWL/active-threat-model-source
Go/Java/C#: Rename `ThreatModelFlowSource` to `ActiveThreatModelSource`
|
2024-09-26 13:08:17 +02:00 |
|
Michael Nebel
|
a128383760
|
C#/Java: Add some dfc-generated test cases.
|
2024-09-26 13:01:01 +02:00 |
|
Michael Nebel
|
2a5dc204fb
|
Shared: Add dfc as a valid model origin.
|
2024-09-26 13:00:57 +02:00 |
|
Michael Nebel
|
9a923d62ad
|
C#/Java: Updated expected test output.
|
2024-09-26 13:00:52 +02:00 |
|
Michael Nebel
|
e70297a7bc
|
Shared: Content based models is now printed with dfc-generated provenance.
|
2024-09-26 13:00:39 +02:00 |
|
Arthur Baars
|
d7fb7ab551
|
Merge pull request #17592 from github/aibaars/cargo-fmt
Rust: run cargo fmt
|
2024-09-26 12:57:15 +02:00 |
|
Michael Nebel
|
53c20ccaeb
|
Shared: Some model generator re-factoring.
|
2024-09-26 12:55:01 +02:00 |
|
Michael Nebel
|
0cd4ccb790
|
C#/Java: Update model generator expected test output.
|
2024-09-26 12:49:18 +02:00 |
|
Michael Nebel
|
b041829569
|
Shared: steps in synthetic path chains should just mention the same synthetic fields.
|
2024-09-26 12:49:07 +02:00 |
|