Jonathan Leitschuh
|
21aeee6378
|
Actually remove the last non-ascii quote from Promise
Signed-off-by: Jonathan Leitschuh <Jonathan.Leitschuh@gmail.com>
|
2021-10-26 08:28:44 -04:00 |
|
Anders Schack-Mulligen
|
90bebaa5a9
|
Merge pull request #6960 from erik-krogh/useSetLiteral
use set literal instead of big disjunction of literals
|
2021-10-26 14:06:05 +02:00 |
|
Anders Schack-Mulligen
|
ba95d46ec3
|
Apply suggestions from code review
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2021-10-26 14:04:13 +02:00 |
|
Erik Krogh Kristensen
|
a3c55c2aec
|
use set literal instead of big disjunction of literals
|
2021-10-26 12:55:25 +02:00 |
|
Anders Schack-Mulligen
|
3d1b617101
|
Merge pull request #6959 from igfoo/igfoo/bbStmts
Java: Make a test output a bit more readable
|
2021-10-26 08:42:53 +02:00 |
|
Ian Lynagh
|
f73f418a97
|
Java: Make a test output a bit more readable
Now the nodes are in index order, and the indices are aligned.
|
2021-10-25 18:48:19 +01:00 |
|
Jonathan Leitschuh
|
ebe2c26f4d
|
Remove the last non-ascii quote from Promise
Signed-off-by: Jonathan Leitschuh <Jonathan.Leitschuh@gmail.com>
|
2021-10-25 11:30:12 -04:00 |
|
Joe Farebrother
|
6dac86b9be
|
Fix unneeded import and spelling mistake
|
2021-10-25 14:11:00 +01:00 |
|
Anders Schack-Mulligen
|
c48dd57d85
|
Merge pull request #6938 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2021-10-25 13:43:54 +02:00 |
|
Joe Farebrother
|
0c1af2411b
|
Write intent in lowercase consistently
Co-authored-by: hubwriter <hubwriter@github.com>
|
2021-10-25 12:22:49 +01:00 |
|
Anders Schack-Mulligen
|
5709365c0f
|
Merge pull request #6921 from igfoo/igfoo/types
Java: Replace @type with more specific types
|
2021-10-25 13:15:12 +02:00 |
|
github-actions[bot]
|
2257d0475a
|
Add changed framework coverage reports
|
2021-10-25 00:09:34 +00:00 |
|
Jonathan Leitschuh
|
5eb28398f0
|
Remove non-ASCII characters from Promise.java
Signed-off-by: Jonathan Leitschuh <Jonathan.Leitschuh@gmail.com>
|
2021-10-22 10:52:46 -04:00 |
|
Joe Farebrother
|
c89178c0e8
|
Apply suggestions from code review
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2021-10-22 10:54:57 +01:00 |
|
Tony Torralba
|
1333f67a69
|
Merge pull request #6917 from JLLeitschuh/feat/JLL/jdk_lambda_collections_model_tracking
[Java] JDK Collection lambda models
|
2021-10-22 10:26:50 +02:00 |
|
Joe Farebrother
|
2d368a7d9a
|
Remove redundant imports from ExternalFlow
|
2021-10-21 16:48:53 +01:00 |
|
Joe Farebrother
|
a9dde419d2
|
Fix up test
|
2021-10-21 16:46:07 +01:00 |
|
Ian Lynagh
|
830f81bfdb
|
Java: Autoformat
|
2021-10-20 17:45:01 +01:00 |
|
Joe Farebrother
|
3e3503a763
|
Fix failing checks
|
2021-10-20 17:25:38 +01:00 |
|
Joe Farebrother
|
b6c584cb70
|
Update docs
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
447e06d92a
|
Rename from SensitiveBroadcast to SensitiveCommmunication
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
54e9c49080
|
Remove SendBroadcastMethodAccess
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
e02be6cf93
|
Add additional sinks
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
e616122982
|
Rename parameter
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
fede77a934
|
Rename some utility methods
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
069d6627b5
|
Improve sanitizers
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
174ac3d6c3
|
Move to correct directory
|
2021-10-20 17:09:59 +01:00 |
|
Joe Farebrother
|
c3d1165c5f
|
Revert change to argument handling
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
6a2346ec33
|
Clean up sink definition
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
daf6ac2584
|
Update tests to InlineFlowTest
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
52ca6b93e3
|
Make things private where possible
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
351e67c639
|
Fix qhelp
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
06a30bf822
|
Add change note
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
b112189530
|
Update docs
|
2021-10-20 17:09:58 +01:00 |
|
Joe Farebrother
|
224d679722
|
Add Sticky broadcast sinks
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
ef7125e21a
|
Simplify sink definitions using local flow
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
d7c7776495
|
Add additional models; fix up tests
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
ae461bcfe4
|
Switch to inline expectations tests
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
4012866c6f
|
Allow arbitrary read steps at the sink
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
bae0da8851
|
Remove existing get methods
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
1e8dd7ae40
|
Use subclasses of context for sinks
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
143920efca
|
Movee query logic to a qll file
|
2021-10-20 17:09:57 +01:00 |
|
Joe Farebrother
|
c68a7077d7
|
Move query and tests out of experimental
|
2021-10-20 17:09:56 +01:00 |
|
Jonathan Leitschuh
|
cce3aad62e
|
Remove non-ASCII characters from Handler.java
Signed-off-by: Jonathan Leitschuh <Jonathan.Leitschuh@gmail.com>
|
2021-10-20 11:34:59 -04:00 |
|
Ian Lynagh
|
25b5601da9
|
Java: Add a changenote to RefType -> ClassOrInterface
|
2021-10-20 12:21:08 +01:00 |
|
Ian Lynagh
|
25fcae1c51
|
Java: Make some types more specific
Where we used to use RefType, we now use ClassOrInterface.
|
2021-10-20 12:18:20 +01:00 |
|
Tom Hvitved
|
29cdc8a49a
|
Java: Update expected test output after rebase
|
2021-10-20 12:11:59 +02:00 |
|
Tom Hvitved
|
0bf5238f39
|
Update QL doc for allowParameterReturnInSelf
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
dd138b0429
|
Address review comments
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
ec5d8ab2db
|
Java: Restrict use-use flow
|
2021-10-20 12:08:57 +02:00 |
|