Joe Farebrother
|
14f753b8cf
|
Use precise access paths for http headers models
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
a476677b2b
|
Model more setters and constructors
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
904102143e
|
Add some missing models
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
28b0e7e074
|
Remove unneeded blank lines
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
76b92857c9
|
Add change note
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
312c3eae06
|
Generate tests and stubs, fix an issue
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
0124d81145
|
Fix models
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
2fb560a170
|
Add more models for message decoder sources an headers fluent methods
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
5d6eab4f3a
|
Add models for more utility methods
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
7b02616f30
|
Fix a model
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
f292e85c51
|
Model fixes - remove ambiguity, correctly model constructors
|
2023-03-23 14:37:31 +00:00 |
|
Joe Farebrother
|
f1c347d4e1
|
Generate tests and stubs
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
39ed5038af
|
Generate test cases and fix some errors in models
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
43cfbb228a
|
Add additional tests for http stuff + corresponding stubs
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
f88780cdd1
|
Add some tests; improve buffer models
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
9a33c2a611
|
Generate netty stubs
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
6ea0cfc2af
|
Add more models for byte buffer handling and http2 utils
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
63f0823a9b
|
Add more sources and flow steps for http2 types
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
d8da4fb1f4
|
Add websocket models
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
24c59bb7e5
|
Formatting fixes
|
2023-03-23 14:37:30 +00:00 |
|
Joe Farebrother
|
f3882f92db
|
Add more netty modelling, mostly around http requests
|
2023-03-23 14:37:29 +00:00 |
|
Joe Farebrother
|
d257e32eba
|
Separate different packages into different files
|
2023-03-23 14:37:29 +00:00 |
|
Joe Farebrother
|
0f7a1d283d
|
Add Netty models
|
2023-03-23 14:37:29 +00:00 |
|
Anders Schack-Mulligen
|
4993e7c149
|
Dataflow: Rename output signature
|
2023-03-23 13:39:53 +01:00 |
|
Anders Schack-Mulligen
|
1c1aa7ecdd
|
Dataflow: Add change notes.
|
2023-03-23 13:17:36 +01:00 |
|
Salah Baddou
|
b1d9c65194
|
Add JndiInjection Sanitizer Class
|
2023-03-23 12:11:07 +00:00 |
|
Anders Schack-Mulligen
|
ab95a0b9f0
|
Java/C#: Rename references
|
2023-03-23 13:09:09 +01:00 |
|
Anders Schack-Mulligen
|
978c5f7bd8
|
Java/C++: Autoformat
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
ec34d44359
|
Java: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
2761aa73ca
|
Dataflow: Sync.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
cfa5af969e
|
Dataflow: Rename Make to Global and remove has* prefix.
|
2023-03-23 13:06:19 +01:00 |
|
Michael Nebel
|
79cd7615b7
|
Merge pull request #12539 from michaelnebel/modelgenerator/configuration
Java/C#: Re-factor model generator taint tracking configurations to use the new API
|
2023-03-23 12:56:41 +01:00 |
|
Michael Nebel
|
d258a1c728
|
C#/Java: Some light re-factoring.
|
2023-03-23 10:24:46 +01:00 |
|
Paolo Tranquilli
|
ccb816ed84
|
Java: autoformat
|
2023-03-23 10:22:18 +01:00 |
|
Michael Nebel
|
eed8c72ce6
|
Java: Refactor the model generator configurations to use the new API.
|
2023-03-23 09:48:12 +01:00 |
|
Kasper Svendsen
|
ce6be1f636
|
Dataflow: Instantiate stage 1 access paths with proper unit type
|
2023-03-23 08:32:16 +01:00 |
|
github-actions[bot]
|
271e41c6dd
|
Add changed framework coverage reports
|
2023-03-23 00:16:48 +00:00 |
|
Jami
|
71c37dba32
|
Merge pull request #12110 from jcogs33/jcogs33/add-heuristic-sql-models
Java: add sql summary model discovered with heuristics
|
2023-03-22 15:20:01 -04:00 |
|
Michael Nebel
|
915efffe21
|
Merge pull request #12610 from michaelnebel/java/validatespecs
Java/C#: Validate all AccessPaths.
|
2023-03-22 16:22:54 +01:00 |
|
Jami Cogswell
|
5f8d6c3c07
|
Java: add change note
|
2023-03-22 10:05:55 -04:00 |
|
Jami Cogswell
|
82daf50ed4
|
Java: add signature
|
2023-03-22 10:05:55 -04:00 |
|
Jami Cogswell
|
974f4bc371
|
Java: remove nativeSql sink
|
2023-03-22 10:05:55 -04:00 |
|
Jami Cogswell
|
ea626a03b6
|
Java: add nativeSQL as summary model
|
2023-03-22 10:05:55 -04:00 |
|
Ian Lynagh
|
536bc9ac89
|
Merge pull request #12589 from igfoo/igfoo/distutils
Kotlin: Don't use distutils in build script
|
2023-03-22 13:18:51 +00:00 |
|
Anders Schack-Mulligen
|
dc6729d0bf
|
Merge pull request #12616 from aschackmull/java-csharp/redundant-sign-analysis-case
Java/C#: Remove useless disjuncts.
|
2023-03-22 13:33:46 +01:00 |
|
Michael Nebel
|
46ef954d5c
|
Java: Validate all accesspaths except for Field.
|
2023-03-22 10:05:46 +01:00 |
|
Tony Torralba
|
6c0c06c963
|
Merge pull request #12624 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2023-03-22 09:49:41 +01:00 |
|
Anders Schack-Mulligen
|
b2d436ccc1
|
Merge pull request #12533 from aschackmull/java/misc-perf
Java/dataflow: Misc performance fixes
|
2023-03-22 08:39:43 +01:00 |
|
github-actions[bot]
|
4fc5742a62
|
Add changed framework coverage reports
|
2023-03-22 00:14:41 +00:00 |
|
Edward Minnix III
|
e91165bc01
|
Merge pull request #12531 from aschackmull/java/autoformat
Java: Autoformat.
|
2023-03-21 14:10:40 -04:00 |
|