3173 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f9ffee010f	Java: Minor nullness cleanup.	2025-09-12 15:41:17 +02:00
Anders Schack-Mulligen	60d07cf30d	Java: Clean up IntegerGuards.qll	2025-09-12 15:41:16 +02:00
Anders Schack-Mulligen	03321ff910	Java: Replace nullness implementation.	2025-09-12 15:41:16 +02:00
Anders Schack-Mulligen	4a8ffea0f6	Shared: Add control flow reachability lib.	2025-09-12 15:41:15 +02:00
Anders Schack-Mulligen	924a8eac5c	Java: Improve precision of SuccessorType labels in CFG.	2025-09-12 13:38:21 +02:00
Anders Schack-Mulligen	db1f399067	Java: Preparatory Nullness refactor.	2025-09-12 13:38:20 +02:00
Anders Schack-Mulligen	e8ddac08b7	Merge pull request #20377 from aschackmull/java/preconditions ... Java: Consolidate Assertions.qll and Preconditions.qll.	2025-09-12 13:37:41 +02:00
Alex Eyers-Taylor	d5ee91b1e8	Java: Adress comments form code review.	2025-09-11 17:14:08 +01:00
Alex Eyers-Taylor	dcc5572767	Java: Hnalde global files as exceptions rather than annotating them ... This allows us to merge them without redundent annoations for now.	2025-09-10 17:26:54 +01:00
Alex Eyers-Taylor	5c19aad012	Java: Make Virtual Dispatch Global, but keep SSA local. ... Use forceLocal to achive this.	2025-09-10 17:26:54 +01:00
Anders Schack-Mulligen	3815503314	Java: Consolidate Assertions.qll and Preconditions.qll.	2025-09-10 15:42:18 +02:00
Anders Schack-Mulligen	4c1fa58367	Java: Fix more broken performance.	2025-09-08 14:12:00 +02:00
idrissrio	ed9ed43923	Java: Address review comment. Improve getAnImportedType definition	2025-09-06 12:38:44 +02:00
idrissrio	1caf18ede1	Java: Address review comment. Improve module-import documentation	2025-09-06 12:38:43 +02:00
idrissrio	c5ee0f3c22	Java: Add ModuleImportDeclaration QL class	2025-09-06 12:38:39 +02:00
Idriss Riouak	e719dd912d	Merge pull request #20116 from github/idrissrio/compact-soruce-file ... Java: Add support to Compact Source Files	2025-09-05 12:01:48 +02:00
idrissrio	fc1b9277b3	Java: extend definition of isCompilerGenerated for classes	2025-09-05 10:19:04 +02:00
idrissrio	81b1e73e18	Java: Add isImplict predicate to CompilationUnit and Class	2025-09-05 10:18:57 +02:00
Kasper Svendsen	dd99a2d3bd	Merge pull request #20294 from github/kaspersv/discard-fields-and-classes ... Overlay: Add discarding for Java classes, interfaces & fields	2025-09-04 10:05:15 +02:00
Anders Schack-Mulligen	f833fe0e6e	Merge pull request #20300 from aschackmull/cfg/successortype ... Shared: Add a shared SuccessorType implementation	2025-09-02 14:09:35 +02:00
Michael Nebel	2a932f0748	Merge pull request #20328 from michaelnebel/java/ql4ql ... Java: Fix some Ql4Ql violations.	2025-09-02 12:01:16 +02:00
Michael Nebel	77113b2e42	Java: Fix some Ql4Ql violations.	2025-09-01 15:04:08 +02:00
Anders Schack-Mulligen	4e70627629	Guards: Use shared SuccessorType.	2025-09-01 13:55:29 +02:00
Anders Schack-Mulligen	144e34c669	Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.	2025-09-01 13:43:32 +02:00
Anders Schack-Mulligen	4685b4f8a9	Java: Use shared SuccessorType.	2025-09-01 13:00:20 +02:00
Anders Schack-Mulligen	09b2c5abf0	BasicBlock: Replace entryBlock predicate with subclass.	2025-09-01 11:48:44 +02:00
Anders Schack-Mulligen	3821f172df	Guards/Java: Use BasicBlock signature in Guards library.	2025-09-01 11:26:36 +02:00
Anders Schack-Mulligen	f459ddc40a	Languages: Adapt to api changes.	2025-09-01 11:26:33 +02:00
Anders Schack-Mulligen	bb3abc815f	SSA: Update input to use member predicates.	2025-09-01 11:19:48 +02:00
Kasper Svendsen	9cc6e9c8a9	Overlay: Add discarding for Java classes, interfaces & fields	2025-08-27 12:07:59 +02:00
Jami	3675e4bb4f	Merge branch 'main' into jcogs33/java/insecure-spring-actuator-config-promotion	2025-08-26 08:02:17 -04:00
Anders Schack-Mulligen	f2352f76c0	Java: Teach guards that exceptions in catch-clauses are non-null.	2025-08-22 10:16:42 +02:00
Anders Schack-Mulligen	02452704b2	Java: Fix bug in nullness	2025-08-22 10:15:22 +02:00
Anders Schack-Mulligen	492a5ca087	Java: Add some more exception edges to the CFG to facilitate guard wrappers.	2025-08-08 10:40:07 +02:00
Anders Schack-Mulligen	e94f018e14	Kotlin: Support kotlin Throws annotations.	2025-08-08 10:28:58 +02:00
Anders Schack-Mulligen	3b3f4bc782	Java/Guards: Remove unused.	2025-08-07 15:43:00 +02:00
Anders Schack-Mulligen	b19f15b3aa	Java: Simplify ArithmeticCommon using BarrierGuards.	2025-08-07 15:43:00 +02:00
Anders Schack-Mulligen	9957cbe656	Java/Guards: Improve BarrierGuards to include validate(x = ...) checks.	2025-08-07 15:42:59 +02:00
Anders Schack-Mulligen	a04ff18ba4	Java: Enable validation wrappers in BarrierGuards.	2025-08-07 15:42:59 +02:00
Anders Schack-Mulligen	f90b6ab005	Guards: Add support for wrappers that may throw exceptions.	2025-08-07 14:51:48 +02:00
Anders Schack-Mulligen	0c31a80f3c	Guards: Generalise wrapper guards.	2025-08-07 14:51:47 +02:00
Anders Schack-Mulligen	1bdaa2420d	Java: Simplify Guards instantiation a bit.	2025-08-07 14:51:46 +02:00
Anders Schack-Mulligen	3aaf48de11	Guards: Remove CustomGuard nesting in Guards instantiation.	2025-08-07 14:51:46 +02:00
Anders Schack-Mulligen	94274288d3	Merge pull request #20127 from aschackmull/java/joinorder3 ... Java: Improve a couple of join-orders	2025-08-05 14:15:42 +02:00
Anders Schack-Mulligen	0a27a8c255	Java: Assume normal termination in post-dominance.	2025-08-04 15:08:26 +02:00
Anders Schack-Mulligen	5ca9c090a8	Merge pull request #20132 from aschackmull/ssa/guardvalue ... SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-30 12:23:17 +02:00
idrissrio	ac52a1b123	Java: Move extractorInformationSkipKey predicate to library pack	2025-07-29 09:45:18 +02:00
Anders Schack-Mulligen	3b8234ecec	SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-28 11:29:12 +02:00
Anders Schack-Mulligen	6c8275298b	Java: Improve ObjFlow performance.	2025-07-25 14:41:06 +02:00
Anders Schack-Mulligen	5ca35afb8c	Java: Improve joinorder in getErasedRepr.	2025-07-25 13:34:11 +02:00