Anders Schack-Mulligen
|
f8ab64dff0
|
Java: Switch to shared modulus analysis.
|
2023-11-01 16:34:28 +01:00 |
|
Anders Schack-Mulligen
|
a7f3ef1a6c
|
Rangeanalysis: Parameterise shared modulus analysis.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
6d859daf3d
|
Merge pull request #14656 from aschackmull/shared/range-utils
Rangeanalysis: Share ssaRead predicate
|
2023-11-01 15:57:52 +01:00 |
|
Anders Schack-Mulligen
|
048a7c4e42
|
Rangeanalysis: Rename SsaBound.getAVariable to getVariable.
|
2023-11-01 11:58:06 +01:00 |
|
Anders Schack-Mulligen
|
48291dd32d
|
Rangeanalysis: Remove superfluous ignoreZeroLowerBound.
|
2023-11-01 11:51:46 +01:00 |
|
Edward Minnix III
|
1ec1dd368d
|
Merge pull request #13978 from egregius313/egregius313/java/mad/convert-sensitive-api-to-mad
Java: Convert `SensitiveApi.qll` to use Models-as-Data
|
2023-10-31 15:25:42 -04:00 |
|
Ian Lynagh
|
ceb3d14fe0
|
Merge pull request #14614 from igfoo/igfoo/enum
Kotlin: Make the enum test more precise
|
2023-10-31 16:18:12 +00:00 |
|
Tony Torralba
|
107a05af71
|
Update MaD Declarations after Triage
|
2023-10-31 16:52:02 +01:00 |
|
Anders Schack-Mulligen
|
34b9791e46
|
Rangeanalysis: Remove superfluous ignoreSsaReadCopy.
|
2023-10-31 15:32:25 +01:00 |
|
Anders Schack-Mulligen
|
322e6c91be
|
Rangeanalysis: Remove superfluous specificSsaRead.
|
2023-10-31 15:30:36 +01:00 |
|
Anders Schack-Mulligen
|
8b6c940e76
|
Rangeanalysis: Remove superfluous ignoreSsaReadAssignment.
|
2023-10-31 15:28:37 +01:00 |
|
Anders Schack-Mulligen
|
6d6f89e71e
|
Rangeanalysis: Remove superfluous ignoreSsaReadArithmeticExpr.
|
2023-10-31 15:25:28 +01:00 |
|
Anders Schack-Mulligen
|
a39a94ca8e
|
Rangeanalysis: Switch to shared ssaRead predicate.
|
2023-10-31 15:23:05 +01:00 |
|
Anders Schack-Mulligen
|
19644a8f07
|
Rangeanalysis: Implement shared ssaRead predicate
|
2023-10-31 15:07:11 +01:00 |
|
Ian Lynagh
|
e1f7f3cbd4
|
Kotlin: Add more info to enum test
|
2023-10-31 12:17:44 +00:00 |
|
Stephan Brandauer
|
5385cc3aaa
|
Merge branch 'main' into kaeluka/publish-automodel-querypack-007
|
2023-10-31 11:48:22 +01:00 |
|
Ian Lynagh
|
b841d5f923
|
Merge pull request #14622 from igfoo/igfoo/JavaBinarySourceElement
Kotlin: Add support for JavaBinarySourceElement sources
|
2023-10-31 10:33:48 +00:00 |
|
Chris Smowton
|
79e1aa0498
|
Merge pull request #14634 from github/post-release-prep/codeql-cli-2.15.2
Post-release preparation for codeql-cli-2.15.2
|
2023-10-31 10:24:53 +00:00 |
|
Stephan Brandauer
|
9087259b1b
|
Java: add instructions to automodel query publish script
|
2023-10-31 11:11:22 +01:00 |
|
Stephan Brandauer
|
968127eaa3
|
Java: release automodel extraction queries 0.0.7
|
2023-10-31 11:09:02 +01:00 |
|
github-actions[bot]
|
2b939fdf08
|
Post-release preparation for codeql-cli-2.15.2
|
2023-10-30 16:06:51 +00:00 |
|
Tony Torralba
|
45cf50c2af
|
Apply JMS sink only when there isn't an implementation available
|
2023-10-30 15:56:24 +01:00 |
|
Ian Lynagh
|
e2ef0dc71d
|
Merge pull request #14621 from igfoo/igfoo/getFileClassFqName_IrField
Kotlin: Fix getFileClassFqName for IrField
|
2023-10-30 13:54:08 +00:00 |
|
Ian Lynagh
|
d46442245b
|
Merge pull request #14518 from igfoo/igfoo/trap_files
Kotlin: Log when we start and finish writing to TRAP files
|
2023-10-30 13:53:04 +00:00 |
|
Ian Lynagh
|
55df481e5c
|
Kotlin: Add support for JavaBinarySourceElement sources
|
2023-10-30 11:43:36 +00:00 |
|
github-actions[bot]
|
4641990021
|
Release preparation for version 2.15.2
|
2023-10-30 11:05:53 +00:00 |
|
Ian Lynagh
|
e25c0498d4
|
Kotlin: Fix getFileClassFqName for IrField
|
2023-10-27 18:00:33 +01:00 |
|
Dave Bartolomeo
|
b18a6d5e0b
|
Merge pull request #14582 from github/dbartol/threat-models-2
Java: Threat model implementation with priorities.
|
2023-10-27 09:33:53 -04:00 |
|
Ian Lynagh
|
0cf702a74f
|
Kotlin: Tweak the logs test to not be confused by the new logs
|
2023-10-27 12:04:43 +01:00 |
|
Ian Lynagh
|
3c5b9ce0cd
|
Kotlin: Make the enum test more precise
In Kotlin 2 mode, there are more library classes matching Enum%, so the
output was spuriously different.
|
2023-10-27 11:15:12 +01:00 |
|
Anders Schack-Mulligen
|
9769953669
|
Java: Split the different layers of virtual dispatch into separate cached stages.
|
2023-10-27 09:40:20 +02:00 |
|
Dave Bartolomeo
|
d2afb20f3f
|
Merge remote-tracking branch 'origin/main' into dbartol/threat-models-2
|
2023-10-26 14:05:40 -04:00 |
|
Alexander Eyers-Taylor
|
55ec9d0a91
|
Merge pull request #14601 from aschackmull/java/fix-tests
Java: Update tests to new partial flow api
|
2023-10-26 17:52:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
30ecb4b0c8
|
Merge pull request #14588 from aschackmull/shared/rangeanalysis
C++/Java: Share core range analysis
|
2023-10-26 16:32:46 +01:00 |
|
Tony Torralba
|
7af3d239ab
|
Java: Add JMS sink to java/unsafe-deserialization
|
2023-10-26 16:46:19 +02:00 |
|
Anders Schack-Mulligen
|
35f6e6ebb4
|
Java: Update tests to new partial flow api
|
2023-10-26 14:09:03 +02:00 |
|
Chris Smowton
|
8198898d73
|
Merge pull request #14583 from smowton/smowton/admin/really-deprecate-old-java-names
Java: Deprecate MethodAccess and SuperMethodAccess
|
2023-10-26 10:25:05 +01:00 |
|
Stephan Brandauer
|
5fe6a5a730
|
Merge pull request #14487 from github/kaeluka/extraction-query-docs
Java: basic version of automodel extraction query docs
|
2023-10-26 11:10:01 +02:00 |
|
Anders Schack-Mulligen
|
ec58b209e3
|
Merge pull request #14584 from Marcono1234/kotlin-Literal-getLiteral
Kotlin: Mention `Literal::getLiteral()` difference from source code
|
2023-10-26 10:03:57 +02:00 |
|
Chris Smowton
|
29d57d82b7
|
Deprecate MethodAccess and SuperMethodAccess
|
2023-10-25 22:26:38 +01:00 |
|
Ed Minnix
|
9d90c24006
|
Refactor to using MethodCall instead of MethodAccess
|
2023-10-25 14:31:56 -04:00 |
|
Ed Minnix
|
f288ddc3d5
|
Add signature back to trilead ssh2 model
|
2023-10-25 14:31:56 -04:00 |
|
Ed Minnix
|
d923784ae4
|
Add signatures to models
|
2023-10-25 14:31:56 -04:00 |
|
Ed Minnix
|
90c63ab6b0
|
Remove additional net.schmizz.sshj models
|
2023-10-25 14:31:56 -04:00 |
|
Edward Minnix III
|
2fb4dfeb90
|
TrustType should be nested in sun.security.pkcs11.Secmod models
Co-authored-by: Jami <57204504+jcogs33@users.noreply.github.com>
|
2023-10-25 14:31:55 -04:00 |
|
Ed Minnix
|
665b140a8a
|
Make SaltAndParams be nested
|
2023-10-25 14:31:55 -04:00 |
|
Edward Minnix III
|
700201556c
|
Remove extra model
Co-authored-by: Jami <57204504+jcogs33@users.noreply.github.com>
|
2023-10-25 14:31:55 -04:00 |
|
Ed Minnix
|
58dae6d1c6
|
Set provenance of models from otherApiCallableCredentialParam to manual and remove extra models
|
2023-10-25 14:31:55 -04:00 |
|
Edward Minnix III
|
2a91743477
|
Re-add IvParameterSpec constructor to otherApiCallableCredentialParam
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2023-10-25 14:31:55 -04:00 |
|
Ed Minnix
|
a28f19c857
|
Remove initialization vectors from SensitiveApi
|
2023-10-25 14:31:55 -04:00 |
|