Michael Nebel
|
21bcaf6a0e
|
C#/Java: After remaining code after rebase.
|
2022-03-14 14:08:49 +01:00 |
|
Michael Nebel
|
74352925e4
|
C#/Java: Remove inline from returnNodeEnclosingCallable.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
48dc9d7057
|
C#/Java: Move containerContent to DataFlowPrivate.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
b7803ef0b1
|
C#: Introduce SyntheticFieldContent in RelevantContent.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
12ff2c6cd5
|
C#/Java: Improve comments in CaptureSummaryModels.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
3ad9731e91
|
C#/Java: Add some more QL docs.
|
2022-03-14 13:50:50 +01:00 |
|
Michael Nebel
|
2476e716a2
|
C#: Move the isRelevantTaintStep and isRelevantContent into the shared utils.
|
2022-03-14 13:49:52 +01:00 |
|
Michael Nebel
|
665e3c9326
|
C#: Re-factor containerContent into standalone predicate in DataFlow library.
|
2022-03-14 13:49:51 +01:00 |
|
Michael Nebel
|
5d03e510d2
|
C#/Java: Include synthetic fields in isRelevantContent.
|
2022-03-14 13:49:51 +01:00 |
|
Michael Nebel
|
cd03af3be4
|
C#: Get rid of the isOwnInstanceAccess based on ReturnStmt.
|
2022-03-14 13:49:46 +01:00 |
|
Michael Nebel
|
34a91f1aac
|
C#: Rename CaptureSummaryModelsQuery to CaptureSummaryModels.
|
2022-03-14 13:48:56 +01:00 |
|
Michael Nebel
|
36e0c683bd
|
C#: Add QL Doc to the primary predicate used for capturing flow.
|
2022-03-14 13:48:56 +01:00 |
|
Michael Nebel
|
e8aacb710e
|
C#: Add file level QL Doc to Capture Summary models specific implementations.
|
2022-03-14 13:48:56 +01:00 |
|
Michael Nebel
|
d114582b56
|
C#: Add QLDoc to the shared Capture summary models library.
|
2022-03-14 13:48:51 +01:00 |
|
Michael Nebel
|
82d93d0f9e
|
Java: Refactor CaptureSummaryModels code to enable re-use in C#.
|
2022-03-14 13:47:20 +01:00 |
|
Michael Nebel
|
ba233ed7a1
|
Java: Rearrange and refactor language specific content into standalone predicates.
|
2022-03-14 13:46:24 +01:00 |
|
Michael Nebel
|
9ca199c9ae
|
Java: Move generic code out of language specific file for model generation.
|
2022-03-14 13:43:45 +01:00 |
|
Michael Nebel
|
a2d9f4f6f4
|
Java: Introduce language specific file for model generator code.
|
2022-03-14 13:40:40 +01:00 |
|
Michael Nebel
|
a1c642685a
|
Java: Re-arrange code in ModelGeneratorUtils.
|
2022-03-14 13:35:56 +01:00 |
|
Jeroen Ketema
|
4c2081b7fc
|
Merge pull request #8401 from jketema/taint-flow
Extend taint tracking interface with flow states
|
2022-03-14 12:06:10 +01:00 |
|
Jeroen Ketema
|
93a0da75b6
|
Fix taint tracking configurations that broke due to interface change
|
2022-03-11 12:18:04 +01:00 |
|
Erik Krogh Kristensen
|
69353bb014
|
patch upper-case acronyms to be PascalCase
|
2022-03-11 11:10:33 +01:00 |
|
Michael Nebel
|
7bde1cbfb3
|
Java: Add case for Synthetic Fields in isRelevantTaintStep.
|
2022-03-01 09:15:01 +01:00 |
|
Michael Nebel
|
66fe0e74b5
|
Java: Don't require that the source is directly within the TargetApi itself (in that case wrappers get excluded).
|
2022-02-28 16:48:23 +01:00 |
|
Michael Nebel
|
4a0b2b64b3
|
Java: Explicitly tie ReturnNode to TargetApi before calling returnNodeAsOutput.
|
2022-02-28 16:48:23 +01:00 |
|
Tom Hvitved
|
44949b6353
|
Java: Add bindingset to returnNodeAsOutput
|
2022-02-28 16:48:23 +01:00 |
|
Anders Schack-Mulligen
|
908cc40c9f
|
Java: Fix bug in model flow sanitizer.
|
2022-02-28 16:48:23 +01:00 |
|
Anders Schack-Mulligen
|
16a5ccddea
|
Java: Simplify model generator query using flow state.
|
2022-02-28 16:48:23 +01:00 |
|
Ian Lynagh
|
1e62b485a5
|
Merge pull request #8241 from igfoo/igfoo/stats4
Java: Update stats and make some performance tweaks
|
2022-02-28 12:58:06 +00:00 |
|
Ian Lynagh
|
7ce9b160d0
|
Java: Performance tweaks
|
2022-02-21 17:05:00 +00:00 |
|
Asger Feldthaus
|
a121b73181
|
Java: update CSV rows to dot-separated syntax
|
2022-02-21 08:16:55 +01:00 |
|
Asger Feldthaus
|
7f808710ec
|
Java: update model generator
|
2022-02-21 08:16:54 +01:00 |
|
Benjamin Muskalla
|
bc5753cb20
|
Fix path expression
|
2022-02-04 11:43:18 +01:00 |
|
Benjamin Muskalla
|
b747391c74
|
Improve error handling and refactor base path
|
2022-02-04 11:26:19 +01:00 |
|
Benjamin Muskalla
|
c1b5565e4d
|
Automation to regenerate framework models
|
2022-01-27 11:15:10 +01:00 |
|
Erik Krogh Kristensen
|
a235f8f023
|
remove redundant inline type casts
|
2022-01-21 11:46:33 +01:00 |
|
Benjamin Muskalla
|
52406dc8df
|
Exclude logging sinks
Those sinks are too coarse grained to be exposed as sinks on any model.
|
2022-01-19 16:11:59 +01:00 |
|
Benjamin Muskalla
|
25d251c24f
|
Exclude main methods from models
|
2022-01-19 16:11:59 +01:00 |
|
Nick Rolfe
|
28912c508f
|
Fix non-US spelling of 'behavior'
|
2021-12-17 15:29:31 +00:00 |
|
Erik Krogh Kristensen
|
6ff8d4de5c
|
add all remaining explicit this
|
2021-11-26 13:50:10 +01:00 |
|
Benjamin Muskalla
|
0e6bb28016
|
Only consider store steps
|
2021-11-16 10:46:24 +01:00 |
|
Benjamin Muskalla
|
fd9199c0c0
|
Simplify handling of tainting fields
|
2021-11-15 16:40:09 +01:00 |
|
Benjamin Muskalla
|
d7ed325b3f
|
Refactor content flow into predicate
|
2021-11-15 16:30:55 +01:00 |
|
Benjamin Muskalla
|
f4310898b3
|
Capture sources flowing into parameters
|
2021-11-15 16:28:28 +01:00 |
|
Benjamin Muskalla
|
8040d9cfcf
|
Only consider true return statements as sinks
|
2021-11-15 15:29:01 +01:00 |
|
Benjamin Muskalla
|
e6e52a3b32
|
190
|
2021-11-15 15:18:03 +01:00 |
|
Benjamin Muskalla
|
dc022430ee
|
Remove superflous instanceof
|
2021-11-15 13:07:02 +01:00 |
|
Benjamin Muskalla
|
412bd32f45
|
Move more predicates into configuration
|
2021-11-15 13:04:23 +01:00 |
|
Benjamin Muskalla
|
b84c03672d
|
Prefer types to TargetAPI
|
2021-11-15 12:43:46 +01:00 |
|
Benjamin Muskalla
|
bca6cecd1c
|
Remove basic support for lambda flow
|
2021-11-15 12:38:30 +01:00 |
|