Jami Cogswell
|
dc8b62baa0
|
add support for AlgorithmParameterGenerator
|
2022-10-19 00:11:59 -04:00 |
|
Jami Cogswell
|
ff557a287f
|
add min key size predicates
|
2022-10-18 23:08:54 -04:00 |
|
Jami Cogswell
|
383b8a84e9
|
update select statement to be closer to cpp's
|
2022-10-18 21:55:11 -04:00 |
|
Jami Cogswell
|
5f39888a2d
|
minor code restructure
|
2022-10-17 16:28:06 -04:00 |
|
Jami Cogswell
|
2714c7fdcf
|
update tests
|
2022-10-14 16:45:13 -04:00 |
|
Jami Cogswell
|
da218fdbf1
|
clean up code
|
2022-10-14 13:03:34 -04:00 |
|
Jami Cogswell
|
0334470f33
|
remove commented out predicates that relied on typeFlag
|
2022-10-14 10:55:30 -04:00 |
|
Jami Cogswell
|
47030df8ac
|
remove commented-out 3 configs
|
2022-10-14 09:26:44 -04:00 |
|
Jami Cogswell
|
6eb58d832c
|
remove dependence on typeFlag
|
2022-10-14 00:47:57 -04:00 |
|
Jami Cogswell
|
c61f23baae
|
experiment with more code condensing
|
2022-10-13 23:24:06 -04:00 |
|
Jami Cogswell
|
2daa3457d7
|
combine three configs into one
|
2022-10-13 17:57:56 -04:00 |
|
Jami Cogswell
|
e0f0d554cb
|
condense code
|
2022-10-12 22:18:07 -04:00 |
|
Jami Cogswell
|
bcb506b637
|
add placeholder qldocs
|
2022-10-12 17:04:51 -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
|
0fc4a33d43
|
remove commented-out code
|
2022-10-12 08:54:06 -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
|
3e8748e639
|
add path-graph back to query alerts
|
2022-10-11 16:56:11 -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
|
b6a8c27d48
|
delete experimental files
|
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
|
0c2cff253f
|
updates from discussing with Tony
|
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
|
b0af9f936c
|
added kg taintracking config to all
|
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
|
7d94590d79
|
add change note
|
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
|
3643c9e658
|
update metadata
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
9b7df354e6
|
move files
|
2022-10-11 16:56:10 -04:00 |
|
Tamás Vajk
|
8523d21f8c
|
Merge pull request #10696 from tamasvajk/kotlin-lateinit
Kotlin: Extract `lateinit` modifier
|
2022-10-11 15:03:10 +02:00 |
|
Tamás Vajk
|
e9835ec07e
|
Merge pull request #10756 from tamasvajk/kotlin-fix-java-modifier
Kotlin: extract `protected` modifier from java class files
|
2022-10-11 15:02:13 +02:00 |
|
Tom Hvitved
|
d6df69d481
|
Merge pull request #10754 from hvitved/dataflow/non-hidden-succ-fast-tc
Data flow: Improve `fastTC` bound in `PathNodeImpl::getANonHiddenSuccessor`
|
2022-10-11 11:12:58 +02:00 |
|
Tamas Vajk
|
f2e2e3bc1d
|
Kotlin: extract protected modifier from java class files
|
2022-10-10 18:02:21 +02:00 |
|
Tamas Vajk
|
15aab711c7
|
Kotlin: Add test showing missing java modifier
|
2022-10-10 18:01:38 +02:00 |
|
Chris Smowton
|
5756a33604
|
Merge pull request #10737 from smowton/smowton/fix/type-instance-within-default-value-erasure
Kotlin: fix type variable erasure inside default function values
|
2022-10-10 16:31:07 +01:00 |
|
Tamás Vajk
|
70b8224a8b
|
Merge pull request #10723 from tamasvajk/kotlin-generated-files
Kotlin: Recognize generated files
|
2022-10-10 16:24:42 +02:00 |
|
Chris Smowton
|
dfdfd39bcc
|
Merge pull request #10732 from smowton/smowton/fix/kotlin-enum-corresponding-classes
Koltin: Extract the corresponding classes of enum entries
|
2022-10-10 15:04:02 +01:00 |
|
Tom Hvitved
|
ffb2b1c15e
|
Data flow: Sync files
|
2022-10-10 15:39:13 +02:00 |
|