Anders Schack-Mulligen
|
30f29e0ba7
|
Merge pull request #4320 from aibaars/multipart-request
Java: add Spring::MultipartRequest as taint source
|
2020-10-05 13:45:06 +02:00 |
|
Anders Schack-Mulligen
|
e660ac54da
|
Merge pull request #4358 from joefarebrother/format-taint
Java: Add taint steps through string formatting methods
|
2020-10-05 13:25:54 +02:00 |
|
Tamas Vajk
|
1cf3196b61
|
Fix additional PR review findings
|
2020-10-02 09:12:13 +02:00 |
|
Tamas Vajk
|
21ff1a0445
|
Address some of the PR review findings
|
2020-10-02 09:12:13 +02:00 |
|
Arthur Baars
|
cf6036f9b4
|
Java: fix some android database sinks
|
2020-09-30 14:42:19 +02:00 |
|
Arthur Baars
|
061c2a754f
|
Java: tests for android database flow steps
|
2020-09-30 12:42:19 +02:00 |
|
Arthur Baars
|
a13e845127
|
Java: tests for android database sinks
|
2020-09-30 12:42:19 +02:00 |
|
Joe
|
be07d27a4c
|
Java: Improve tests
|
2020-09-29 16:36:34 +01:00 |
|
Joe
|
bea38fcd07
|
Java: Add taint modelling for string format methods
|
2020-09-28 16:25:45 +01:00 |
|
Tamas Vajk
|
2bbaa4e173
|
Handle unsigned types in sign analysis (C# and Java)
|
2020-09-28 14:46:32 +02:00 |
|
Joe
|
5256c0ba39
|
Java: Improve PrintAst tests and rename things
Add tests for `EnhcancedForStmt`s and `InstanceOfExpr`s.
Rename LocalVarDeclParent to SingleLocalVarDeclParent
|
2020-09-25 11:31:56 +01:00 |
|
Joe
|
9c8a468237
|
Java: PrintAst: Add synthetic nodes for other declarations
|
2020-09-24 14:31:24 +01:00 |
|
Joe
|
1f99607624
|
Java: PrintAst: Improve test
|
2020-09-24 14:31:24 +01:00 |
|
Arthur Baars
|
252f8aa89d
|
Java: add Spring::MultipartRequest as taint source
|
2020-09-22 19:01:10 +02:00 |
|
Tamas Vajk
|
8bf4a4209c
|
C#: Sign analysis
Synced between Java and C# through `identical-files.json`.
|
2020-09-21 16:15:12 +02:00 |
|
Tamas Vajk
|
441fbe3215
|
Add Java test file for sign analysis
|
2020-09-21 15:07:09 +02:00 |
|
Joe
|
6d0df7cb3a
|
Java: Add a container node for Imports in the PrintAst view
|
2020-09-17 17:29:36 +01:00 |
|
Tamás Vajk
|
5079deb92a
|
Merge pull request #4268 from tamasvajk/feature/java-range-analysis-fn
Java: Fix range analysis false negative
|
2020-09-16 11:08:33 +02:00 |
|
Joe
|
28338eb32e
|
Java: PrintAst: Various minor fixes of typos
Fix references to C#
Fix getAPrimaryQlClass for JavadocTag
Fix typo for Import
Update test outputs
|
2020-09-15 15:02:56 +01:00 |
|
Joe
|
53ab8dac06
|
Java: PrintAst: Fix failing tests
|
2020-09-15 14:45:48 +01:00 |
|
Joe
|
e38b583ec4
|
Java: PrintAst: Add tests
|
2020-09-15 14:45:48 +01:00 |
|
Tamas Vajk
|
23a9d0764e
|
Java: Fix range analysis false negative
|
2020-09-15 12:09:05 +02:00 |
|
Tamas Vajk
|
c66473cb8a
|
Java: Add test for range analysis
|
2020-09-15 12:07:30 +02:00 |
|
Jonas Jensen
|
464d3630a2
|
Java: Rename Block -> BlockStmt
|
2020-09-08 08:40:20 +02:00 |
|
CodeQL CI
|
311e62f21d
|
Merge pull request #4081 from aschackmull/java/dispatch-ctx-this-param
Approved by aibaars
|
2020-09-01 15:06:47 +01:00 |
|
Anders Schack-Mulligen
|
82692876d8
|
Java: Add some test cases.
|
2020-09-01 11:24:30 +02:00 |
|
Anders Schack-Mulligen
|
d82fee11b1
|
Java: Add data flow for record getters.
|
2020-08-24 11:51:04 +02:00 |
|
Anders Schack-Mulligen
|
bcad18f490
|
Java: Use the instance argument type in call contexts.
|
2020-08-20 15:17:04 +02:00 |
|
Anders Schack-Mulligen
|
205dd1aead
|
Merge pull request #3881 from intrigus-lgtm/more-pathcreations
Java: Centralize and model additional path creations.
|
2020-08-06 11:21:39 +02:00 |
|
intrigus
|
1011325cf7
|
Accept test changes.
|
2020-08-05 21:45:41 +02:00 |
|
intrigus
|
b705f7f3e9
|
Improve "PathCreation" Test.
|
2020-07-19 00:10:39 +02:00 |
|
Anders Schack-Mulligen
|
a1d272e870
|
Merge pull request #3918 from aibaars/organise-container-flow
Java: Clean up ContainerFlow, consider more methods
|
2020-07-10 14:19:44 +02:00 |
|
Arthur Baars
|
43b61038e9
|
Drop Map.merge as taint step
|
2020-07-10 13:00:14 +02:00 |
|
Arthur Baars
|
0d33a77ee3
|
Fix modelling of Stack.push
Stack.push(E) returns its argument, it does not propagate taint from
the stack to the return value.
|
2020-07-09 16:16:29 +02:00 |
|
Anders Schack-Mulligen
|
879551fc6a
|
Merge pull request #3936 from aibaars/object-clone
Java: model Object.clone
|
2020-07-09 16:09:01 +02:00 |
|
Arthur Baars
|
e183171fea
|
Java: model Object.clone
|
2020-07-09 14:50:29 +02:00 |
|
intrigus
|
641c5df79f
|
Centralize and model additional path creations.
|
2020-07-09 14:48:47 +02:00 |
|
Arthur Baars
|
0bd103ac05
|
Java: add tests for Container taint steps
|
2020-07-09 12:15:38 +02:00 |
|
Anders Schack-Mulligen
|
777dc6305c
|
Merge pull request #3893 from aibaars/set-map-list-copy-of
Java: model some new Set,List,Map methods
|
2020-07-09 10:18:12 +02:00 |
|
Arthur Baars
|
e8f216c761
|
Merge remote-tracking branch 'upstream/master' into set-map-list-copy-of
|
2020-07-08 15:11:13 +02:00 |
|
Anders Schack-Mulligen
|
bf5c5297d3
|
Merge pull request #3897 from aibaars/util-objects
Java: data flow for `java.util.Objects`
|
2020-07-08 15:07:50 +02:00 |
|
Arthur Baars
|
72a24972e7
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2020-07-08 13:30:24 +02:00 |
|
Arthur Baars
|
940fec5669
|
Drop taint tracking for Arrays.{deepToString,toString}
|
2020-07-07 17:26:49 +02:00 |
|
Arthur Baars
|
583f7f914e
|
Drop taint tracking for Arrays.{setAll, parallelSetAll, parallelPrefix}
|
2020-07-07 17:22:30 +02:00 |
|
Arthur Baars
|
9cf6601d02
|
Java: Data flow for java.util.Objects
|
2020-07-07 16:58:22 +02:00 |
|
Arthur Baars
|
19a481f809
|
Java: Arrays: add tests
|
2020-07-03 17:15:17 +02:00 |
|
Arthur Baars
|
1485f7c876
|
Java: model some new Set,List,Map methods
Models the taint propagation for the copyOf(..),
of(..), ofEntries(..) and entry(..) methods
|
2020-07-03 17:14:53 +02:00 |
|
Arthur Baars
|
c629f6b13a
|
Merge pull request #3869 from aibaars/util-collections
Java: model java.util.Collections
|
2020-07-03 17:09:14 +02:00 |
|
Arthur Baars
|
5fff41f35b
|
Don't track taint on Map keys
|
2020-07-03 14:47:25 +02:00 |
|
Arthur Baars
|
5f2a5f1b55
|
Java: Collections: add tests
|
2020-07-02 19:18:02 +02:00 |
|