Nora Dimitrijević
|
288a938814
|
Java: convert InsufficientKeySize test to .qlref
|
2025-06-24 16:42:02 +02: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
|
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 |
|