33 Commits

Author	SHA1	Message	Date
Nora Dimitrijević	288a938814	Java: convert InsufficientKeySize test to .qlref	2025-06-24 16:42:02 +02:00
Michael Nebel	0a1d2d0bbb	Java: Update all test util paths to point to the new location.	2024-12-12 13:21:25 +01:00
Jeroen Ketema	89d20fd086	Java: Update expected test results	2024-12-03 19:18:59 +01:00
Jeroen Ketema	49993b023e	Java: Rewrite inline expectation tests to use parameterized module	2023-06-09 10:42:17 +02:00
Ed Minnix	cae5637d8d	Refactor InsufficientKeySize	2023-03-29 22:33:09 -04:00
Tony Torralba	32471d326e	Java: Remove omittable exists variables	2023-01-10 13:37:19 +01:00
Jami Cogswell	f40eefce57	use CompileTimeConstantExpr instead of StringLiteral	2022-10-27 17:11:07 -04:00
Jami Cogswell	e5982f19fa	minor updates	2022-10-19 11:05:40 -04:00
Jami Cogswell	961e5c72a3	minor updates	2022-10-19 08:44:35 -04:00
Jami Cogswell	4df0fbcce1	update tests	2022-10-19 01:17:57 -04:00
Jami Cogswell	2714c7fdcf	update tests	2022-10-14 16:45:13 -04:00
Jami Cogswell	2daa3457d7	combine three configs into one	2022-10-13 17:57:56 -04:00
Jami Cogswell	bfbb6db436	clean up code	2022-10-12 16:58:34 -04:00
Jami Cogswell	37d85587e0	refactor code into InsufficientKeySize.qll	2022-10-12 15:39:57 -04:00
Jami Cogswell	01c2a8cbba	add symm to the single config; still seems to work	2022-10-12 08:51:22 -04:00
Jami Cogswell	29de0c6748	make one config for asymm with flow states; seems to work...	2022-10-11 22:29:48 -04:00
Jami Cogswell	26f4abf12b	remove globalflow for key(pair)gen	2022-10-11 16:56:11 -04:00
Jami Cogswell	e64825ff7a	fix code-scanning bot problems	2022-10-11 16:56:11 -04:00
Jami Cogswell	bd76b1fcc0	clean-up and update configurations to have specs as sink	2022-10-11 16:56:10 -04:00
Jami Cogswell	3cc7f143b2	clean up code somewhat	2022-10-11 16:56:10 -04:00
Jami Cogswell	f5a2fef7a3	update tests for non-path version	2022-10-11 16:56:10 -04:00
Jami Cogswell	b7123c17f8	draft of adding kpg tracking into dataflow config	2022-10-11 16:56:10 -04:00
Jami Cogswell	cdac0e2b52	add local algo name tracking, still need to add ability to track algo name when KeyGen obj is param to other method	2022-10-11 16:56:10 -04:00
Jami Cogswell	c414ee0e25	add ECC dataflow config; passes all test cases; still don't have algo name tracking	2022-10-11 16:56:10 -04:00
Jami Cogswell	5e2ef66014	refactoring to use both dataflow configs; commit before deleting unused code	2022-10-11 16:56:10 -04:00
Jami Cogswell	ac707198d5	commit before adding taint flow back (since no taint flow doesn't capture all cases)	2022-10-11 16:56:10 -04:00
Jami Cogswell	8ffd2522e7	add draft code to find algo type to replace tainttracking configs	2022-10-11 16:56:10 -04:00
Jami Cogswell	d3b1a04c13	handle FN case with simple VarAccess; add draft of dataflow config to handle complex VarAccess	2022-10-11 16:56:10 -04:00
Jami Cogswell	7de9c05c9d	use CompileTimeConstantExpr for FN with VarAccess, and remove KeyGeneratorInitConfiguration	2022-10-11 16:56:10 -04:00
Jami Cogswell	75794ec7a7	false negative testing - before rewrite for variable dataflow	2022-10-11 16:56:10 -04:00
Jami Cogswell	9eb45c3787	refactor tests and code, update help file	2022-10-11 16:56:10 -04:00
Jami Cogswell	657e1e62ca	start refactoring query logic into lib file	2022-10-11 16:56:10 -04:00
Jami Cogswell	9b7df354e6	move files	2022-10-11 16:56:10 -04:00