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
Edward Minnix III
b102ddac30
Merge pull request #12542 from egregius313/egregius313/refactor-more-queries-to-dataflow-module-api
...
Java: Refactor more queries to the new DataFlow module API (part 2)
2023-03-21 10:35:29 -04:00
Anders Schack-Mulligen
89d9d65755
Java/C#: Remove useless disjuncts.
2023-03-21 14:45:29 +01:00
Anders Schack-Mulligen
56288eb3d2
Java: Misc performance fixes
2023-03-21 14:26:13 +01:00
Anders Schack-Mulligen
225ed1e220
Java: Autoformat.
2023-03-21 13:35:02 +01:00
Chris Smowton
a865f1666d
maven-httpo-repository: add Maven wrapper
...
Maven 3.9.1 changes the format of the error message this test is looking for (though it still matches the target regex). Use the Maven wrapper to avoid such sensitivity to the precise version present in the environment.
2023-03-21 12:19:52 +00:00
Asger F
6d665da4dc
Merge pull request #12570 from github/post-release-prep/codeql-cli-2.12.5
...
Post-release preparation for codeql-cli-2.12.5
2023-03-21 13:06:25 +01:00
Stephan Brandauer
0a605638e5
Merge branch 'main' into java/update-mad-decls-after-triage-2023-03-13T13-21-27
2023-03-21 10:56:53 +01:00
