Commits · e0d5b894215fad2ef35b1101d2c852454b567fff · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Mar 25, 2021
- Improve loop induction var analysis by tracing a BIV through spill/unspill in a loop. · e0d5b894
  Clark Coleman authored 3 years ago
  
  e0d5b894
Mar 22, 2021
- Handle new opcodes from IDA Pro 7.5. · 97307770
  Clark Coleman authored 3 years ago
  
  97307770
Mar 19, 2021
- SPARK: Translate LOOP opcodes and rdrand/rdseed opcodes. · 4f640d09
  Clark Coleman authored 4 years ago
  
  4f640d09
Mar 15, 2021
- Update for old compilers · 3491636a
  Jason Hiser authored 4 years ago
  
  3491636a
- Update pragmas to allow old compiler to accept new pragmas. · 2a7d2661
  Jason Hiser authored 4 years ago
  
  2a7d2661
- Revert "Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer"" · 49830e85
  Jason Hiser authored 4 years ago
  
  This reverts commit 30a39087.
  49830e85
- Update path to zipr · 158d94b5
  Jason Hiser authored 4 years ago
  
  158d94b5
- Revert "Updates for ubuntu20's compiler" · 576dd962
  Jason Hiser authored 4 years ago
  
  This reverts commit 0a39c68a.
  576dd962
- Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer" · 30a39087
  Jason Hiser authored 4 years ago
  
  This reverts commit c46040b7, reversing changes made to 0a39c68a.
  30a39087
- Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer · c46040b7
  Jason Hiser authored 4 years ago
  
  c46040b7
- Updates for ubuntu20's compiler · 0a39c68a
  Jason Hiser authored 4 years ago
  
  0a39c68a
Mar 11, 2021
- SPARK: Improvements to FindSingleExpression() and short-circuit expression translation. · 268287cd
  Clark Coleman authored 4 years ago
  
  268287cd
Mar 04, 2021
- Recognize xorps and xorpd of an SSE reg with itself as a register clearing idiom. · 346a5026
  Clark Coleman authored 4 years ago
  
  346a5026
Mar 03, 2021
- SPARK: Use flags reg at top of short circuit expr; parenthesize subexprs. · 65c92a0b
  Clark Coleman authored 4 years ago
  
  65c92a0b
Mar 01, 2021
- Update path to peasoup · ff839ddd
  Jason Hiser authored 4 years ago
  
  ff839ddd
- Updated pragmas for older OSs · dbaa1d9c
  Jason Hiser authored 4 years ago
  
  dbaa1d9c
- Updates for ubuntu20 · f79825ef
  Jason Hiser authored 4 years ago
  
  f79825ef
- Update for ubuntu20 · 7434784a
  Jason Hiser authored 4 years ago
  
  7434784a
- SPARK: CLONING 10: Clone to fix FTNotDominated and FTDeadEnd combination. · eb15a69d
  Clark Coleman authored 4 years ago
  
  eb15a69d
- SPARK: CLONING 9: Clone to solve NFTNotDominated and NFTDeadEnd combination. · cd2c115d
  Clark Coleman authored 4 years ago
  
  cd2c115d
Feb 27, 2021
- SPARK: CLONING 8: regular IfThen dominance problem. · 434f4a49
  Clark Coleman authored 4 years ago
  
  434f4a49
- SPARK: CLONING 7 for OddIfThen dominance problem. · 222f0474
  Clark Coleman authored 4 years ago
  
  222f0474
Feb 26, 2021
- SPARK: Implement another double cloning for structuring unstructured conditionals. · b4337173
  Clark Coleman authored 4 years ago
  
  b4337173
Feb 25, 2021
- Avoid crashing on bad stack access code caused by LAF transform. · 80a6f7a8
  Clark Coleman authored 4 years ago
  
  80a6f7a8
- Prevent crash in Dump() method. · 057e8175
  Clark Coleman authored 4 years ago
  
  057e8175
- Increase debugging output on fatal error for stack access table builder. · e2d22f86
  Clark Coleman authored 4 years ago
  
  e2d22f86
- submod · ecdc9c17
  Jason Hiser authored 4 years ago
  
  ecdc9c17
Feb 24, 2021
- SPARK: Cloning expansion and fixes. · d45c665a
  Clark Coleman authored 4 years ago
  
  d45c665a
Feb 22, 2021
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · c73d6ef6
  Jason Hiser authored 4 years ago
  
  c73d6ef6
- Update tests to grab ida · 16b9439c
  Jason Hiser authored 4 years ago
  
  16b9439c
- SPARK: Expand cloning beyond FT or NFT block heads. · 2222d000
  Clark Coleman authored 4 years ago
  
  2222d000
Feb 19, 2021
- SPARK: Implement double cloning (two paths at once). · 471b6439
  Clark Coleman authored 4 years ago
  
  471b6439
Feb 17, 2021
- SPARK: Cloning fixes. · 0702a045
  Clark Coleman authored 4 years ago
  
  0702a045
Feb 13, 2021
- SPARK: Cloning fixes. · 2d39b25b
  Clark Coleman authored 4 years ago
  
  2d39b25b
Feb 10, 2021
- Update scons to build ida version only if IDA vars are set. · 108a408a
  Jason Hiser authored 4 years ago
  
  Update .gitmodules with relative path to libehp
  108a408a
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · 5e8fba28
  Clark Coleman authored 4 years ago
  
  5e8fba28
- SPARK: Massive update to implement block cloning to structured CFGs for translation. · 9e2c2c6e
  Clark Coleman authored 4 years ago
  
  9e2c2c6e
Feb 01, 2021
- Submodule updated automatically on gitlabrunnerxenial at Mon Feb 1 13:14:26 UTC 2021 · e2ce9478
  xenial-runner authored 4 years ago
  
  e2ce9478
Jan 15, 2021
- Classify loop branches and jumps even for non-SPARK runs. · cea88588
  Clark Coleman authored 4 years ago
  
  cea88588
Jan 11, 2021
- SPARK: Finish prep for block cloning. · 6b50beb0
  Clark Coleman authored 4 years ago
  
  6b50beb0