18 Commits

Author	SHA1	Message	Date
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	26f4abf12b	remove globalflow for key(pair)gen	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	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