Anders Schack-Mulligen
|
95b95e5c27
|
Dataflow: Duplicate type info for AccessPathApprox tails.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
52f50b8d9d
|
Dataflow: Replace AccessPath push/pop with isCons.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
142479eeb7
|
Dataflow: Duplicate type info for AccessPath tails.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
69202d2dae
|
Dataflow: Include type in post-stage-5 tail relation.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
933d2fbb9f
|
Dataflow: Replace RevPartialAccessPath with the now identical PartialAccessPath.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
2cf58fccf7
|
Dataflow: Remove type from PartialAccessPath.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
e5d36ff461
|
Dataflow: Add type to stage 2-5 summary ctx.
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
77b09f3660
|
Dataflow: Add type to partial flow summary context
|
2023-04-27 14:52:24 +02:00 |
|
Anders Schack-Mulligen
|
11c05257d4
|
Dataflow: Duplicate accesspath type info in partial flow.
|
2023-04-27 14:52:20 +02:00 |
|
Anders Schack-Mulligen
|
fd36304da2
|
Dataflow: Add type to PathNode.toString
|
2023-04-27 14:50:55 +02:00 |
|
Stephan Brandauer
|
adcf4a3dc2
|
documentation clean-up
|
2023-04-27 14:48:48 +02:00 |
|
Stephan Brandauer
|
52a8230ce3
|
restructure shared characteristics module; add framework support for sanitizers
|
2023-04-27 14:46:24 +02:00 |
|
Stephan Brandauer
|
ffe7c62766
|
use US spelling
|
2023-04-27 14:46:24 +02:00 |
|
Stephan Brandauer
|
a91b71c53b
|
add parameter names to metadata, set subtypes = false for static method candidates; remove UndocumentedMethodCharacteristics, now that we use ModelApi
|
2023-04-27 14:46:23 +02:00 |
|
Stephan Brandauer
|
3868defb87
|
use ModelApi to define parameters worth modeling
|
2023-04-27 14:46:23 +02:00 |
|
Stephan Brandauer
|
6eefb268dd
|
Automodel extraction queries in java telemetry query directory
|
2023-04-27 14:46:08 +02:00 |
|
Anders Schack-Mulligen
|
5a027b95bd
|
Dataflow: Duplicate accesspath type info in PathNode and pathStep.
|
2023-04-27 14:33:33 +02:00 |
|
Anders Schack-Mulligen
|
209d9143be
|
Dataflow: Add type column to filter predicate
|
2023-04-27 14:33:33 +02:00 |
|
Anders Schack-Mulligen
|
c79daf0116
|
Dataflow: Duplicate accesspath type info of the tail in cons relations.
|
2023-04-27 14:33:33 +02:00 |
|
Anders Schack-Mulligen
|
b84b1a46d6
|
Dataflow: Duplicate accesspath type info as separate column.
|
2023-04-27 14:33:33 +02:00 |
|
Anders Schack-Mulligen
|
cda26ba7c0
|
Dataflow: Split TypedContent in store relation.
|
2023-04-27 14:33:32 +02:00 |
|
Anders Schack-Mulligen
|
246d904712
|
Merge pull request #12948 from aschackmull/dataflow/pathnode-type-tostring
Dataflow: Add type to PathNode.toString.
|
2023-04-27 14:14:10 +02:00 |
|
Anders Schack-Mulligen
|
f685ae1fa7
|
Java: Update one more expected output.
|
2023-04-27 12:00:32 +02:00 |
|
github-actions[bot]
|
e6c4bd18d6
|
Add changed framework coverage reports
|
2023-04-27 00:17:19 +00:00 |
|
Tony Torralba
|
12d181143f
|
Merge pull request #10533 from pwntester/main
Java: Add support for java.util.StringJoiner
|
2023-04-26 16:18:35 +02:00 |
|
Anders Schack-Mulligen
|
8e6038577d
|
Java: Update expected output.
|
2023-04-26 14:45:40 +02:00 |
|
Anders Schack-Mulligen
|
32a738b082
|
Dataflow: Add type to PathNode.toString.
|
2023-04-26 14:43:53 +02:00 |
|
Tony Torralba
|
5d80f0818c
|
Fix TestModels test expectation
|
2023-04-26 14:32:28 +02:00 |
|
Tony Torralba
|
0094c25791
|
Fix StringJoiner.add models
|
2023-04-26 12:40:04 +02:00 |
|
Tony Torralba
|
4606df5cb6
|
Add change note
|
2023-04-26 12:24:43 +02:00 |
|
Tony Torralba
|
fba61d51ed
|
Remove experimental files
|
2023-04-26 12:24:30 +02:00 |
|
Tony Torralba
|
e54eaed26f
|
Refactor tests to use InlineFlowTest
|
2023-04-26 12:19:59 +02:00 |
|
Tony Torralba
|
db73e16b70
|
Add tests
|
2023-04-26 12:12:10 +02:00 |
|
Tony Torralba
|
1e66a544fd
|
Promote exxperimental XXE sinks
|
2023-04-26 12:11:48 +02:00 |
|
Tony Torralba
|
8b65937159
|
Move ConstantStringExpr to RangeUtils.qll
|
2023-04-26 12:11:08 +02:00 |
|
Tony Torralba
|
4c102ab99c
|
Refactor to models-as-data
|
2023-04-26 10:13:15 +02:00 |
|
Tony Torralba
|
2c4246f29a
|
Fix test comments
|
2023-04-26 10:08:18 +02:00 |
|
Tony Torralba
|
389e8c4fe8
|
Add review suggestions
|
2023-04-26 10:08:16 +02:00 |
|
Tony Torralba
|
0650c016f6
|
Add models for StringJoiner constructor
|
2023-04-26 10:07:59 +02:00 |
|
Tony Torralba
|
d54c444606
|
Add change note
|
2023-04-26 10:07:49 +02:00 |
|
Tony Torralba
|
311498841e
|
Add fluent models
Add tests
|
2023-04-26 10:07:27 +02:00 |
|
github-actions[bot]
|
cb82bd62e7
|
Add changed framework coverage reports
|
2023-04-26 00:15:23 +00:00 |
|
Edward Minnix III
|
e50f56cc56
|
Merge pull request #12917 from egregius313/egregius313/java/dataflow/refactor-inline-flow-test
Java: Refactor `InlineFlowTest` to remove usage of `DataFlow::Configuration` API
|
2023-04-25 16:18:56 -04:00 |
|
Ed Minnix
|
d98723c35a
|
Fix naming of OkHttpFlowConfig in test
|
2023-04-25 10:31:27 -04:00 |
|
Jami
|
cff7f63193
|
Merge pull request #12838 from jcogs33/jcogs33/add-class-for-callables-interesting-for-modeling
Java: add class that represents callables that are interesting for MaD models
|
2023-04-25 09:28:56 -04:00 |
|
Tony Torralba
|
89ee2b9ace
|
Merge pull request #12911 from atorralba/atorralba/java/filecopyutils-file-sinks
Java: Fix FileCopyUtils.copy models
|
2023-04-25 12:06:13 +02:00 |
|
Anders Schack-Mulligen
|
934a455908
|
Apply suggestions from code review
Update qldoc.
|
2023-04-25 09:35:26 +02:00 |
|
Ed Minnix
|
3af72fa28e
|
Remove legacy code from InlineFlowTest
|
2023-04-24 17:10:32 -04:00 |
|
Ed Minnix
|
59e59125d6
|
Refactor tests
|
2023-04-24 17:10:32 -04:00 |
|
Tony Torralba
|
e3d93c3581
|
Fix FileCopyUtils models
|
2023-04-24 15:07:19 +02:00 |
|