Commits · a760e4fa2c88eec27f81776c300ee51c2a7875f0 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jun 01, 2022
- Fix assertion failure. · a760e4fa
  Clark Coleman authored 2 years ago
  
  a760e4fa
Apr 23, 2022
- Ubuntu22 support · febd7bb6
  Jason Hiser authored 3 years ago and Jason Hiser committed 3 years ago
  
  febd7bb6
Apr 22, 2022
- Fix typos in asserts. · 9297d63a
  Clark Coleman authored 3 years ago
  
  9297d63a
Mar 08, 2022
- SPARK: Handle loop exit targets that are JumpOnly blocks in FindMultiLoopContinue(). · cfa577cd
  Clark Coleman authored 3 years ago
  
  cfa577cd
Mar 01, 2022
- IDA Pro 7.6 opcode updates; reduce SPARK work done in non-SPARK-translation runs. · cca5d5be
  Clark Coleman authored 3 years ago
  
  cca5d5be
Feb 22, 2022
- Increase info in the CFG graph output files *.gv. · ed5fe05f
  Clark Coleman authored 3 years ago
  
  ed5fe05f
Feb 21, 2022
- SPARK conditional statement analysis and cloning fixes. · 2d6ab81d
  Clark Coleman authored 3 years ago
  
  2d6ab81d
Dec 24, 2021
- SPARK translation fixes. · c57c9a93
  Clark Coleman authored 3 years ago
  
  c57c9a93
Dec 13, 2021
- SPARK: Translation fixes and DumpDotCFG() enhancements. · d2da4c2c
  Clark Coleman authored 3 years ago
  
  d2da4c2c
Nov 07, 2021
- SPARK: Add loop invariant relating BIV to its entry value. · d69402b3
  Clark Coleman authored 3 years ago
  
  d69402b3
Nov 04, 2021
- Fix Windows line endings; minor debugging code tweak. · 066339f1
  Clark Coleman authored 3 years ago
  
  066339f1
Oct 30, 2021
- Fix issue 28 assertion error on indexed EBP-relative operands when testing for... · 06d68b4e
  Clark Coleman authored 3 years ago
  06d68b4e
- SPARK fixes. · ec876084
  Clark Coleman authored 3 years ago
  
  ec876084
Oct 28, 2021
- Change to deal with un-normalized defs in LEA · c732e217
  Jason Hiser authored 3 years ago
  c732e217
Jul 22, 2021
- SPARK: Loop contracts fixes. · a032cd0f
  Clark Coleman authored 3 years ago
  
  a032cd0f
Jun 23, 2021
- SPARK: small fixes plus indentation fixes. · d960d1fb
  Clark Coleman authored 3 years ago
  
  d960d1fb
Jun 19, 2021
- SPARK: Improvements in nested conditionals and indentation; fix errors in... · c82c7e5c
  Clark Coleman authored 3 years ago
  c82c7e5c
Jun 18, 2021
- SPARK: Minor translation improvements on jump-only loop exit target blocks. · 8b503ab0
  Clark Coleman authored 3 years ago
  
  8b503ab0
Apr 16, 2021
- Fix assertion failure in fib.exe move_globals test. · 8c560268
  Clark Coleman authored 4 years ago
  
  8c560268
Apr 10, 2021
- Improve loop iteration analysis by handling loops with multiple exiting blocks. · 63ae3640
  Clark Coleman authored 4 years ago
  
  63ae3640
Mar 25, 2021
- Improve loop induction var analysis by tracing a BIV through spill/unspill in a loop. · e0d5b894
  Clark Coleman authored 4 years ago
  
  e0d5b894
Mar 22, 2021
- Handle new opcodes from IDA Pro 7.5. · 97307770
  Clark Coleman authored 4 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
- Revert "Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer"" · 49830e85
  Jason Hiser authored 4 years ago
  49830e85
- Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer" · 30a39087
  Jason Hiser authored 4 years ago
  30a39087
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
- 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
Feb 24, 2021
- SPARK: Cloning expansion and fixes. · d45c665a
  Clark Coleman authored 4 years ago
  
  d45c665a
Feb 22, 2021
- 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