Paolo Tranquilli
0d9dcb161f
Swift: auto-flush logs at exit
2023-05-09 10:08:34 +02:00
Geoffrey White
08b6755c55
Swift: Simplify hasActualResult.
2023-05-09 09:03:32 +01:00
Mathias Vorreiter Pedersen
2021f46f19
C++: Add QLDoc to 'getOverflow'.
2023-05-09 08:52:08 +01:00
Mathias Vorreiter Pedersen
b5c1024d3d
Merge pull request #13041 from MathiasVP/overrun-write-only-one-alert
...
C++: Only one alert message per alert on `cpp/overrun-write`
2023-05-09 08:42:37 +01:00
Paolo Tranquilli
182a155ff2
Swift: fix autobuilder extern definition
2023-05-09 09:38:46 +02:00
Anders Schack-Mulligen
e996eaefb1
Merge pull request #13036 from aschackmull/java/typeprefix-perf
...
Java: Minor perf fix for typePrefixContainsAux1.
2023-05-09 08:57:56 +02:00
Michael Nebel
9ccc65d77f
Merge pull request #12935 from michaelnebel/neutralkindsdocs
...
Java: Update customizing library models for java documentation.
2023-05-09 08:50:08 +02:00
Michael Nebel
f2f9944a1c
Merge pull request #12931 from michaelnebel/neutralkinds
...
Java/C#: Introduce kind for neutrals.
2023-05-09 08:42:38 +02:00
Kasper Svendsen
b0714904c0
Java: Enable implicit this receiver warnings
2023-05-09 08:25:40 +02:00
github-actions[bot]
f235387ba6
Add changed framework coverage reports
2023-05-09 00:15:32 +00:00
Edward Minnix III
05b1bd881e
Merge pull request #12852 from egregius313/egregius313/java/webgoat/model-jwsheader
...
Java: Model `io.jsonwebtoken.SigningKeyResolverAdapter` and `io.jsonwebtoken.JwsHeader`
2023-05-08 10:57:34 -04:00
Geoffrey White
9618c616f4
Swift: Optimize the graphics.
2023-05-08 15:41:13 +01:00
Michael Nebel
baee4cedfd
Apply suggestions from code review
...
Co-authored-by: Jami <57204504+jcogs33@users.noreply.github.com >
2023-05-08 16:19:00 +02:00
Michael Nebel
efa2bd8614
Apply suggestions from code review
...
Co-authored-by: Jami <57204504+jcogs33@users.noreply.github.com >
2023-05-08 16:19:00 +02:00
Michael Nebel
8435c31213
C#/Java: Update model converter queries to handle kind information.
2023-05-08 16:19:00 +02:00
Michael Nebel
7858da66e3
C#/Java: Add change note.
2023-05-08 16:18:59 +02:00
Michael Nebel
87731b2341
C#: Update expected test output for the model generator test.
2023-05-08 16:18:59 +02:00
Michael Nebel
7c3a258d09
C#: Adjust the model generator to produce kinds for neutrals.
2023-05-08 16:18:59 +02:00
Michael Nebel
c30f080ff0
Java: Update expected test out for the model generator.
2023-05-08 16:18:59 +02:00
Michael Nebel
d103a57141
Java: Adjust the model generator to produce kinds.
2023-05-08 16:18:59 +02:00
Michael Nebel
bd23814e7c
Java: Update existing neutrals to include kind information.
2023-05-08 16:18:59 +02:00
Michael Nebel
bcbda9046f
Java: Extend neutrals with a kind column and introduce validation.
2023-05-08 16:18:59 +02:00
Michael Nebel
4ac0396b67
Go/Python/Ruby/Swift: Sync files and make dummy implementation.
2023-05-08 16:18:59 +02:00
Michael Nebel
fe32abecd9
C#: Update existing neutrals to include kind information.
2023-05-08 16:18:59 +02:00
Michael Nebel
4dcfb4d8cb
C#: Extend neutrals with a kind column and introduce validation.
2023-05-08 16:18:59 +02:00
Michael Nebel
9558522d84
Merge pull request #13070 from michaelnebel/csharp/refactorfollowup
...
C#: Re-factor CIL data flow test to use the new API.
2023-05-08 16:15:56 +02:00
Chuan-kai Lin
4960305022
Merge pull request #13025 from cklin/java-location-tostring-bindingset
...
Java: Add pragma[only_bind_out] to Top::toString() calls
2023-05-08 06:27:42 -07:00
Michael Nebel
9e990e752f
C#: Refer to the Node class via DataFlow instead of DataFlow2.
2023-05-08 15:07:24 +02:00
Paolo Tranquilli
8079af7ed6
Swift: add autobuild failure diagnostics
2023-05-08 12:54:18 +00:00
Michael Nebel
bd0133630d
C#: Re-factor the CIL dataflow test to use the new API.
2023-05-08 14:05:37 +02:00
Michael Nebel
d01674f930
C#: Update expected test output.
2023-05-08 12:48:00 +02:00
Michael Nebel
e2529b8f93
C#: Re-factor the PotentialTimeBomb query to use the new API.
2023-05-08 12:48:00 +02:00
Michael Nebel
5bf552b318
Update docs/codeql/codeql-language-guides/customizing-library-models-for-java.rst
...
Co-authored-by: Jami <57204504+jcogs33@users.noreply.github.com >
2023-05-08 12:40:30 +02:00
Tom Hvitved
ededd466cb
Merge pull request #13030 from hvitved/csharp/warn-as-error
...
C#: Never treat warnings as error in the extractor
2023-05-08 10:46:20 +02:00
Tom Hvitved
2f95af8ef2
Ruby: Remove self edges
2023-05-08 10:26:01 +02:00
Jules
884df51bf6
Merge branch 'main' into shati-patel/mrva-results-view
2023-05-08 08:06:18 +02:00
Geoffrey White
0ab894765e
Swift: Fix more underline length issues.
2023-05-05 18:13:08 +01:00
Geoffrey White
aa8aa0ba00
Swift: Fix Sphinx / Docs error.
2023-05-05 17:58:31 +01:00
Geoffrey White
3315fd2e35
Swift: Add necessary .yml files.
2023-05-05 17:55:05 +01:00
Geoffrey White
850686a8d9
Swift: Add images.
2023-05-05 17:35:27 +01:00
Mathias Vorreiter Pedersen
89bf335900
C++: Accept test changes.
2023-05-05 16:44:41 +01:00
Mathias Vorreiter Pedersen
b43702451f
C++: Remove self edges from post-update SSA.
2023-05-05 15:47:00 +01:00
Mathias Vorreiter Pedersen
4048915c8c
C++: Remove self edges from non-post-update SSA.
2023-05-05 15:45:44 +01:00
Owen Mansel-Chan
d329da673a
Refactor logic for which version to install
...
This does not change the version returned. In the case the the go mod
version is supported and the go env version is below goMinVersion, the
message now talks about go env version being unsupported instead of
it being less than go mod version. This seems more sensible to me.
2023-05-05 15:44:55 +01:00
Owen Mansel-Chan
3f7a230a11
Sometimes install Go version even when one exists
2023-05-05 15:44:54 +01:00
Geoffrey White
e4382677c2
Merge branch 'main' into modernsec3
2023-05-05 13:07:01 +01:00
Mathias Vorreiter Pedersen
c0b3a1896b
C++: No phi self-edges.
2023-05-05 12:16:52 +01:00
Mathias Vorreiter Pedersen
7323d4ecc1
Merge pull request #13058 from geoffw0/barrier
...
Swift: Standardize terminology for ConfigSig queries
2023-05-05 11:59:44 +01:00
Paolo Tranquilli
0a20885b35
Merge pull request #13056 from github/redsun82/swift-mark-generated-files
...
Codegen: mark generated checked in files as such
2023-05-05 12:40:44 +02:00
Geoffrey White
7c85115ff3
Swift: Remove some redundant statements in a few of the QLDoc comments.
2023-05-05 10:45:19 +01:00