Chris Smowton
|
7f76d8ae55
|
Replace redundant use of Class or Interface
|
2023-02-14 17:21:24 +00:00 |
|
Chris Smowton
|
82a2f4349a
|
Resolve a newly-introduced ambiguity
Also fix a simple redundancy noticed while debugging
|
2023-02-14 17:21:24 +00:00 |
|
Joe Farebrother
|
f68083872d
|
Merge pull request #12174 from joefarebrother/stubgen-name-conflicts
Java: Stub generator: Use fully qualified names to avoid conflicts
|
2023-02-14 10:10:24 +00:00 |
|
Joe Farebrother
|
0b722bfe30
|
Stub generator: Use fully qualified names to avoid conflicts
|
2023-02-13 17:09:32 +00:00 |
|
Michael Nebel
|
80628596dd
|
Java: Exclude interface members from model generation.
|
2023-02-13 10:21:32 +01:00 |
|
Michael Nebel
|
11ca3f49f6
|
C#/Java: Adjust imports after moving files.
|
2023-01-11 13:13:33 +01:00 |
|
Michael Nebel
|
787b4743ee
|
C#/Java: Rename the directories containing the model generator and tests.
|
2023-01-11 13:13:33 +01:00 |
|
Michael Nebel
|
178fd0e9e1
|
C#/Java: Remove all dashes in mode-generator.
|
2023-01-11 13:13:33 +01:00 |
|
Michael Nebel
|
31c60e545e
|
Java: Update the flow test generator to create ext.yml files.
|
2022-12-15 14:46:20 +01:00 |
|
Michael Nebel
|
a67e02df21
|
Merge pull request #11691 from michaelnebel/renameextensibles
C#/Java: Rename externalflow extensible predicates
|
2022-12-15 11:05:22 +01:00 |
|
Jami
|
33955ee4ab
|
Merge pull request #11623 from jcogs33/jcogs33/exclude-funcexpr-from-dataflowtargetapi
Java/C#: exclude `FunctionalExpr`s from `DataFlowTargetApi`
|
2022-12-14 12:22:50 -05:00 |
|
Michael Nebel
|
bc02adb400
|
Java: Make the corresponding rename in all the data extensions.
|
2022-12-14 13:48:31 +01:00 |
|
Jami Cogswell
|
c956589945
|
Java: remove dot before percent
|
2022-12-13 17:46:20 -05:00 |
|
Jami Cogswell
|
dee251e5d6
|
Java: update isJdkInternal
|
2022-12-13 17:46:20 -05:00 |
|
Jami
|
11bd35661c
|
Merge branch 'main' into jcogs33/exclude-funcexpr-from-dataflowtargetapi
|
2022-12-13 17:10:39 -05:00 |
|
Jami Cogswell
|
1c06378a53
|
Java: exclude FunctionalExprs from DataFlowTargetApi
|
2022-12-13 09:54:05 -05:00 |
|
Jami Cogswell
|
5113041623
|
Java: add isParameterless predicate to Constructor class
|
2022-12-12 13:28:00 -05:00 |
|
Jami Cogswell
|
16d8e8e931
|
Java: exclude parameterless constructors from DataFlowTargetApi
|
2022-12-12 13:28:00 -05:00 |
|
erik-krogh
|
873d3553cd
|
Merge branch 'main' into static-useInstanceOf
|
2022-12-12 15:36:54 +01:00 |
|
erik-krogh
|
8262fbbfb5
|
Java/C#/GO: Use instanceof in more places
|
2022-12-11 18:32:19 +01:00 |
|
Michael Nebel
|
67732cbfa0
|
Java: Remove unneeded import for RegenerateModels.py.
|
2022-12-09 15:04:43 +01:00 |
|
Michael Nebel
|
2cb88037a4
|
C#/Java: Rename Negative Summary Model to Neutral Model in conversion and generator tooling.
|
2022-12-09 15:04:43 +01:00 |
|
Michael Nebel
|
3af00a8f3f
|
Java: Rename Negative Summary Model to Neutral Model.
|
2022-12-09 15:04:43 +01:00 |
|
Michael Nebel
|
079d48c42a
|
Sync files.
|
2022-12-09 15:04:42 +01:00 |
|
Michael Nebel
|
8e4190d84a
|
Merge pull request #11516 from michaelnebel/java/externalflowcleanup
Java: Cleanup imports of `ExternalFlow`
|
2022-12-06 14:26:39 +01:00 |
|
Michael Nebel
|
a9ba964be4
|
Java: Update the Java model re-generate script.
|
2022-12-05 11:39:44 +01:00 |
|
Michael Nebel
|
243b94b54a
|
Java/C#: Delete old model generator scripts and rename the new ones.
|
2022-12-05 11:39:44 +01:00 |
|
Michael Nebel
|
4c7cdc6245
|
Java: Remove unneeded imports of ExternalFlow.qll.
|
2022-12-05 09:49:38 +01:00 |
|
Michael Nebel
|
fb670325d8
|
Java/C#: Add query for aiding the conversion of existing negative models.
|
2022-12-02 12:18:50 +01:00 |
|
Michael Nebel
|
73b171eb2b
|
Update java/ql/src/utils/flowtestcasegenerator/GenerateFlowTestCase.qll
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2022-12-02 09:47:28 +01:00 |
|
Michael Nebel
|
01307e1255
|
Update java/ql/src/utils/flowtestcasegenerator/FlowTestCase.qll
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2022-12-02 09:47:14 +01:00 |
|
Michael Nebel
|
c145678323
|
Java: Address review comments.
|
2022-12-02 09:46:39 +01:00 |
|
Michael Nebel
|
cd0d09d806
|
Java: Refactor to avoid using SummaryModelCsv.
|
2022-12-01 13:07:31 +01:00 |
|
Michael Nebel
|
984124b3b5
|
Java: Improve flow test case generator to emit a data extensions YAML file and qlpack file if needed.
|
2022-11-29 12:54:54 +01:00 |
|
Michael Nebel
|
48290c95a7
|
Java: Update the flow test case generator to emit data extension like model data.
|
2022-11-29 12:54:54 +01:00 |
|
Michael Nebel
|
9507dc15fd
|
Java: Remove un-needed qlfrag files.
|
2022-11-29 12:54:54 +01:00 |
|
Michael Nebel
|
d7aafbfe64
|
Java: Add model generator script that emits data extensions.
|
2022-11-28 12:30:35 +01:00 |
|
Michael Nebel
|
0abeb831c7
|
Java: Move summaryModel predicate, which constructs a CSV row to the testcode where it is used.
|
2022-11-28 12:30:34 +01:00 |
|
Michael Nebel
|
fc4b9827b9
|
Java: Add script for converting extensions.
|
2022-11-28 12:30:34 +01:00 |
|
Michael Nebel
|
9f7103c4fb
|
Java: Add queries for extracting sources, sinks and summaries.
|
2022-11-28 12:30:34 +01:00 |
|
Michael Nebel
|
24e830f91d
|
Java: Fix some minor bugs in the CSV printing of summaries for flow test generation.
|
2022-11-28 09:07:40 +01:00 |
|
Joe Farebrother
|
8d9b106be1
|
Exclude invalid identifiers from generated stubs
|
2022-11-15 11:19:40 +00:00 |
|
Michael Nebel
|
8041542f92
|
Java: Make sure that IterableTypes has a unique iterator.
|
2022-11-10 14:06:18 +01:00 |
|
Michael Nebel
|
2f12ccc803
|
C#: Delete incorrect comment.
|
2022-11-10 13:59:50 +01:00 |
|
Michael Nebel
|
91aa75da0e
|
Java: Rename IterableType to IterableClass.
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
0e7179ca85
|
Simplify functional predicate implementation.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
9d34ce9776
|
Adjust the co-variant claim comment.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
decfcdd82a
|
Improve IterableType implementation.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
2011685e89
|
Java: Move internal model generator code to another folder.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
5b9ae5e6db
|
Java: Update ql doc comments.
|
2022-11-10 13:57:43 +01:00 |
|