Benjamin Muskalla
|
4e6a8d991e
|
Move stub generator into subdirectory
|
2021-09-24 11:12:41 +02:00 |
|
luchua-bc
|
272e4f6cf9
|
Update the query
|
2021-09-24 01:48:11 +00:00 |
|
github-actions[bot]
|
ceb9a0bd6b
|
Add changed framework coverage reports
|
2021-09-24 00:08:02 +00:00 |
|
luchua-bc
|
2dc38aee54
|
Update qldoc
|
2021-09-23 20:31:24 +00:00 |
|
Anders Schack-Mulligen
|
a031b2a090
|
Merge pull request #6493 from atorralba/atorralba/cleartext-storage-query-refactor
Java: Refactor Cleartext Storage queries
|
2021-09-23 16:31:17 +02:00 |
|
Tony Torralba
|
b52a2cd292
|
Apply code review comments
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2021-09-23 15:48:15 +02:00 |
|
Anders Schack-Mulligen
|
6be4b3bac6
|
Merge pull request #6725 from emilejq/date-format
Java: Remove requirements for final and access mods from DateFormatThreadUnsafe
|
2021-09-23 15:02:17 +02:00 |
|
Anders Schack-Mulligen
|
4841c3037d
|
Java: Add callback dispatch to more anonymous classes.
|
2021-09-23 14:34:56 +02:00 |
|
Joe Farebrother
|
0919042692
|
Model Bundle and Intent extra methods
|
2021-09-23 12:03:45 +01:00 |
|
Emile El-Qawas
|
83fb41e414
|
Add visibility constraints; Fix non-compliant code
|
2021-09-23 09:55:49 +01:00 |
|
Tony Torralba
|
d0b9920cac
|
Fix encryption sanitizer
It now discards sensitive exprs (sources) instead of sinks for better precision
|
2021-09-23 10:42:30 +02:00 |
|
Tony Torralba
|
51d2b5225e
|
Remove cached property from SensitiveSource::flowsTo
|
2021-09-23 10:42:30 +02:00 |
|
Tony Torralba
|
563e8a2bd6
|
Remove unused library
|
2021-09-23 10:42:30 +02:00 |
|
Tony Torralba
|
a30554e97c
|
Refactored cleartext storage libraries
|
2021-09-23 10:42:30 +02:00 |
|
Chris Smowton
|
93daaf5b5b
|
Merge pull request #6174 from joefarebrother/guava-collections
Java: Model Guava collections package
|
2021-09-23 09:13:24 +01:00 |
|
Chris Smowton
|
3123abfac3
|
Merge pull request #6711 from bananabr/AndroidLoggingFix
Fix Android logging signature
|
2021-09-22 17:23:04 +01:00 |
|
Joe Farebrother
|
522c6e01d2
|
Sort models by class and name
|
2021-09-22 15:23:01 +01:00 |
|
Chris Smowton
|
24e3ad4e18
|
Remove unnecessary type constraint
|
2021-09-22 10:54:24 +01:00 |
|
Joe Farebrother
|
3cd675bfff
|
Manually fill in most of the remaining support method calls
|
2021-09-21 17:56:18 +01:00 |
|
Emile El-Qawas
|
dcae1c5c04
|
DateFormatThreadUnsafe - Remove requirements for final and access modifiers
|
2021-09-21 16:50:48 +01:00 |
|
Joe Farebrother
|
6e9bee1be7
|
Add missing models
|
2021-09-21 16:32:49 +01:00 |
|
Joe Farebrother
|
25d6e00b1a
|
Implement gen methods for MapDifference
|
2021-09-21 16:30:12 +01:00 |
|
Joe Farebrother
|
a47897bdf9
|
Implement Table gen methods
|
2021-09-21 15:29:06 +01:00 |
|
Anders Schack-Mulligen
|
2c41de6648
|
Merge pull request #6720 from aschackmull/java/isunreachableincall-joinorder
Java: Fix join-order in isUnreachableInCall.
|
2021-09-21 16:07:42 +02:00 |
|
Anders Schack-Mulligen
|
dd1bed02e8
|
Merge pull request #6721 from aschackmull/dataflow/subpaths01-joinorder
Dataflow: Fix join-order in subpaths01
|
2021-09-21 16:05:41 +02:00 |
|
Tony Torralba
|
99881db8bd
|
Add stubs
|
2021-09-21 12:10:05 +02:00 |
|
Tony Torralba
|
0c1f3ed0b3
|
Add tests for ContentProvider sources
|
2021-09-21 12:09:47 +02:00 |
|
Tony Torralba
|
a811ab3aff
|
Add ContentProvider sources
|
2021-09-21 12:09:28 +02:00 |
|
Anders Schack-Mulligen
|
eaf05305ff
|
Merge pull request #6709 from aschackmull/java/local-taint-collections
Java: Add container flow to the local taint flow relation.
|
2021-09-20 16:04:45 +02:00 |
|
Anders Schack-Mulligen
|
044623a360
|
Dataflow: Sync.
|
2021-09-20 14:58:28 +02:00 |
|
Anders Schack-Mulligen
|
07c05528ef
|
Dataflow: Fix join-order in subpaths01.
|
2021-09-20 14:58:12 +02:00 |
|
Anders Schack-Mulligen
|
c72e385a47
|
Java: Fix join-order in isUnreachableInCall.
|
2021-09-20 14:09:09 +02:00 |
|
luchua-bc
|
8170f01b66
|
Query to detect uncontrolled thread resource consumption
|
2021-09-20 02:12:47 +00:00 |
|
Joe Farebrother
|
4929c66e60
|
Implement gen methods for collections and maps
|
2021-09-17 17:37:46 +01:00 |
|
Joe Farebrother
|
3ef09da1df
|
Add models for more of methods; update stubs
|
2021-09-17 16:57:49 +01:00 |
|
Daniel Santos
|
9e41f43ee2
|
Fix: android.util.Log is final. No inheritance handling is needed.
|
2021-09-17 10:15:48 -05:00 |
|
Anders Schack-Mulligen
|
2cbad4aed6
|
Merge pull request #6600 from atorralba/atorralba/fix-conditionalbypass
Java: Fix performance of the query User-controlled bypass of sensitive method
|
2021-09-17 16:07:39 +02:00 |
|
Joe Farebrother
|
e946f49b64
|
[Test gen] Gen methods for Set and Iterator
|
2021-09-17 11:22:50 +01:00 |
|
Joe Farebrother
|
0bff1b4afb
|
Implement get methods
|
2021-09-17 11:08:09 +01:00 |
|
Daniel Santos
|
032a7e71fe
|
Update Logging.qll
Simplified using a set-literal as suggested by @intrigus-lgtm
|
2021-09-16 13:03:26 -05:00 |
|
Daniel Santos
|
af8b2b6d9c
|
Fix Android logging signature in java/ql/src/experimental/semmle/code/java/Logging.qll
|
2021-09-16 11:24:06 -05:00 |
|
Joe Farebrother
|
1111afc031
|
Update tests for new support methods; fix bad model
|
2021-09-16 15:23:03 +01:00 |
|
Joe Farebrother
|
54dbd7c0bd
|
[Test gen] Add more support method implementations
|
2021-09-16 15:23:03 +01:00 |
|
Joe Farebrother
|
ef5bf87672
|
[Test gen] Distinguish default support methods
|
2021-09-16 15:23:03 +01:00 |
|
Joe Farebrother
|
eb45e67784
|
Generate tests for modified models
|
2021-09-16 15:23:02 +01:00 |
|
Joe Farebrother
|
1eacbd88b8
|
Fix up some incorrect models; simplify/remove some redundand ones
|
2021-09-16 15:23:02 +01:00 |
|
Joe Farebrother
|
a89bd32eb0
|
Factor out content manipulating methods from tests to a separate file
|
2021-09-16 15:23:02 +01:00 |
|
Joe Farebrother
|
56a2dc632b
|
Move tests around and remove files used for generating tests
|
2021-09-16 15:23:02 +01:00 |
|
Joe Farebrother
|
7dded52de2
|
Add change note
|
2021-09-16 15:23:02 +01:00 |
|
Joe Farebrother
|
8425a94729
|
Mark failing tests as missing
I'm not sure why these tests don't work.
|
2021-09-16 15:23:02 +01:00 |
|