9508 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	1185bfc90f	Merge pull request #12986 from aschackmull/java/mapvalue-precision ... Java: Force high precision for MapValueContent.	2023-05-04 14:52:41 +02:00
Kasper Svendsen	29239939c7	Merge pull request #13010 from kaspersv/kaspersv/java-explicit-this-receivers ... Java: Make implicit this receivers explicit	2023-05-04 13:06:41 +02:00
Ian Lynagh	b56b843d13	Merge pull request #12987 from github/post-release-prep/codeql-cli-2.13.1 ... Post-release preparation for codeql-cli-2.13.1	2023-05-03 13:12:10 +01:00
Kasper Svendsen	081085e128	Java: Make implicit this receivers explicit	2023-05-03 13:37:35 +02:00
Edward Minnix III	733a00039e	Merge pull request #12864 from egregius313/egregius313/java/mad/update-typeAsModel ... Java: Erase generics in `typeAsModel` predicate used in model generator	2023-05-02 15:28:51 -04:00
Anders Schack-Mulligen	353d5f82a6	Merge pull request #12984 from aschackmull/dataflow/instanceof-node ... Dataflow: Replace "extends Node" with "instanceof Node".	2023-05-02 13:52:33 +02:00
github-actions[bot]	18d4af994d	Post-release preparation for codeql-cli-2.13.1	2023-05-02 10:50:20 +00:00
Anders Schack-Mulligen	97cd3b8576	Java: Force high precision for MapValueContent.	2023-05-02 11:19:21 +02:00
Anders Schack-Mulligen	ca09649679	Dataflow: Forward hasLocationInfo.	2023-05-02 10:48:32 +02:00
Anders Schack-Mulligen	2001ce34d4	Java/C#: Adjust references.	2023-05-02 10:21:09 +02:00
Tony Torralba	51c08f1314	Merge pull request #12969 from atorralba/atorralba/java/fix-model-generator-sinks-instance-parameters ... Java: Fix sink model generator for instance parameters	2023-05-02 10:10:59 +02:00
Anders Schack-Mulligen	5927bb2030	Dataflow: Replace "extends Node" with "instanceof Node".	2023-05-02 09:48:34 +02:00
Anders Schack-Mulligen	6c8cb0dc5e	Merge pull request #12930 from aschackmull/dataflow/split-typedcontent ... Dataflow: Refactor access paths to split TypedContent into an explicit pair	2023-05-01 14:58:15 +02:00
Tony Torralba	77ec181cac	Java: Fix sink model generator for instance parameters	2023-04-28 14:49:04 +02:00
github-actions[bot]	3bd29171fb	Release preparation for version 2.13.1	2023-04-28 12:14:35 +00:00
Anders Schack-Mulligen	9df2ee00d6	Java: Add SrcCallable.isImplicitlyPublic convenience predicate.	2023-04-27 15:20:49 +02:00
Anders Schack-Mulligen	71ae0909d8	Dataflow: Enforce type pruning in all forward stages.	2023-04-27 14:55:26 +02:00
Anders Schack-Mulligen	a761eea2dc	Dataflow: Autoformat	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	9ad2da6196	Java: Fix reference to TypedContent.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	4f2d2361a4	Dataflow: Eliminate TypedContent.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	5373b4d466	Dataflow: Remove superfluous predicates.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	b534e7b6d5	Dataflow: Remove superfluous columns	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	a2fa97ac22	Dataflow: Replace TypedContent with Content in access paths.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	123534a676	Dataflow: Eliminate front type in AccessPathFront.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	ff3e45e1ba	Dataflow: Eliminate TypedContentApprox.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	748bcba0ae	Dataflow: Eliminate now-redundant type in nil accesspath approximations.	2023-04-27 14:52:25 +02:00
Anders Schack-Mulligen	95b95e5c27	Dataflow: Duplicate type info for AccessPathApprox tails.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	52f50b8d9d	Dataflow: Replace AccessPath push/pop with isCons.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	142479eeb7	Dataflow: Duplicate type info for AccessPath tails.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	69202d2dae	Dataflow: Include type in post-stage-5 tail relation.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	933d2fbb9f	Dataflow: Replace RevPartialAccessPath with the now identical PartialAccessPath.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	2cf58fccf7	Dataflow: Remove type from PartialAccessPath.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	e5d36ff461	Dataflow: Add type to stage 2-5 summary ctx.	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	77b09f3660	Dataflow: Add type to partial flow summary context	2023-04-27 14:52:24 +02:00
Anders Schack-Mulligen	11c05257d4	Dataflow: Duplicate accesspath type info in partial flow.	2023-04-27 14:52:20 +02:00
Anders Schack-Mulligen	fd36304da2	Dataflow: Add type to PathNode.toString	2023-04-27 14:50:55 +02:00
Anders Schack-Mulligen	5a027b95bd	Dataflow: Duplicate accesspath type info in PathNode and pathStep.	2023-04-27 14:33:33 +02:00
Anders Schack-Mulligen	209d9143be	Dataflow: Add type column to filter predicate	2023-04-27 14:33:33 +02:00
Anders Schack-Mulligen	c79daf0116	Dataflow: Duplicate accesspath type info of the tail in cons relations.	2023-04-27 14:33:33 +02:00
Anders Schack-Mulligen	b84b1a46d6	Dataflow: Duplicate accesspath type info as separate column.	2023-04-27 14:33:33 +02:00
Anders Schack-Mulligen	cda26ba7c0	Dataflow: Split TypedContent in store relation.	2023-04-27 14:33:32 +02:00
Anders Schack-Mulligen	246d904712	Merge pull request #12948 from aschackmull/dataflow/pathnode-type-tostring ... Dataflow: Add type to PathNode.toString.	2023-04-27 14:14:10 +02:00
Anders Schack-Mulligen	f685ae1fa7	Java: Update one more expected output.	2023-04-27 12:00:32 +02:00
github-actions[bot]	e6c4bd18d6	Add changed framework coverage reports	2023-04-27 00:17:19 +00:00
Tony Torralba	12d181143f	Merge pull request #10533 from pwntester/main ... Java: Add support for java.util.StringJoiner	2023-04-26 16:18:35 +02:00
Anders Schack-Mulligen	8e6038577d	Java: Update expected output.	2023-04-26 14:45:40 +02:00
Anders Schack-Mulligen	32a738b082	Dataflow: Add type to PathNode.toString.	2023-04-26 14:43:53 +02:00
Tony Torralba	5d80f0818c	Fix TestModels test expectation	2023-04-26 14:32:28 +02:00
Tony Torralba	0094c25791	Fix StringJoiner.add models	2023-04-26 12:40:04 +02:00
Tony Torralba	4c102ab99c	Refactor to models-as-data	2023-04-26 10:13:15 +02:00