Commits

Breadcrumbs

History for

on345e4e0

User selector

All users

All time

Commit History

Commits on Oct 19, 2022

• minor updates

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  e5982f1

  Copy full SHA for e5982f1

• minor updates

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  961e5c7

  Copy full SHA for 961e5c7

• update tests

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  4df0fbc

  Copy full SHA for 4df0fbc

• add support for AlgorithmParameterGenerator

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  dc8b62b

  Copy full SHA for dc8b62b

• add min key size predicates

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  ff557a2

  Copy full SHA for ff557a2

Commits on Oct 17, 2022

• minor code restructure

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  5f39888

  Copy full SHA for 5f39888

Commits on Oct 14, 2022

• clean up code

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  da218fd

  Copy full SHA for da218fd

• remove commented out predicates that relied on typeFlag

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  0334470

  Copy full SHA for 0334470

• remove commented-out 3 configs

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  47030df

  Copy full SHA for 47030df

• remove dependence on typeFlag

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  6eb58d8

  Copy full SHA for 6eb58d8

• experiment with more code condensing

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  c61f23b

  Copy full SHA for c61f23b

Commits on Oct 13, 2022

• combine three configs into one

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  2daa345

  Copy full SHA for 2daa345

• condense code

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  e0f0d55

  Copy full SHA for e0f0d55

Commits on Oct 12, 2022

• add placeholder qldocs

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  bcb506b

  Copy full SHA for bcb506b

• clean up code

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  bfbb6db

  Copy full SHA for bfbb6db

• refactor code into InsufficientKeySize.qll

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  37d8558

  Copy full SHA for 37d8558

• remove commented-out code

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  0fc4a33

  Copy full SHA for 0fc4a33

• add symm to the single config; still seems to work

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  01c2a8c

  Copy full SHA for 01c2a8c

• make one config for asymm with flow states; seems to work...

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  29de0c6

  Copy full SHA for 29de0c6

Commits on Oct 11, 2022

• add path-graph back to query alerts

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  3e8748e

  Copy full SHA for 3e8748e

• remove globalflow for key(pair)gen

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  26f4abf

  Copy full SHA for 26f4abf

• fix code-scanning bot problems

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  e64825f

  Copy full SHA for e64825f

• delete experimental files

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  b6a8c27

  Copy full SHA for b6a8c27

• clean-up and update configurations to have specs as sink

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  bd76b1f

  Copy full SHA for bd76b1f

• updates from discussing with Tony

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  0c2cff2

  Copy full SHA for 0c2cff2

• clean up code somewhat

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  3cc7f14

  Copy full SHA for 3cc7f14

• update tests for non-path version

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  f5a2fef

  Copy full SHA for f5a2fef

• added kg taintracking config to all

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  b0af9f9

  Copy full SHA for b0af9f9

• draft of adding kpg tracking into dataflow config

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  b7123c1

  Copy full SHA for b7123c1

• add local algo name tracking, still need to add ability to track algo name when KeyGen obj is param to other method

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  cdac0e2

  Copy full SHA for cdac0e2

• add ECC dataflow config; passes all test cases; still don't have algo name tracking

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  c414ee0

  Copy full SHA for c414ee0

• refactoring to use both dataflow configs; commit before deleting unused code

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  5e2ef66

  Copy full SHA for 5e2ef66

• commit before adding taint flow back (since no taint flow doesn't capture all cases)

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  ac70719

  Copy full SHA for ac70719

• add draft code to find algo type to replace tainttracking configs

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  8ffd252

  Copy full SHA for 8ffd252

• handle FN case with simple VarAccess; add draft of dataflow config to handle complex VarAccess

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  d3b1a04

  Copy full SHA for d3b1a04