Commits · b803f29dfa62d10a16823287e21c6891e7c5bb38 · Open Source Software / SMPStaticAnalyzer

Jun 03, 2022
- Prevent assertion failures. · b803f29d
  Clark Coleman authored 2 years ago
  
  b803f29d
Jun 01, 2022
- Fix assertion failure. · a760e4fa
  Clark Coleman authored 2 years ago
  
  a760e4fa
Apr 23, 2022
- Merge branch 'ubuntu22-support' into 'master' · 87148bd9
  Jason Hiser authored 2 years ago
  
  Ubuntu22 support See merge request !23
  87148bd9
- Ubuntu22 support · febd7bb6
  Jason Hiser authored 2 years ago and Jason Hiser committed 2 years ago
  
  febd7bb6
Apr 22, 2022
- Fix typos in asserts. · 9297d63a
  Clark Coleman authored 2 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 27, 2021
- Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer · 802006b8
  Jason Hiser authored 3 years ago
  
  802006b8
- Fixing versioning check · 273fdcf5
  Jason Hiser authored 3 years ago
  
  273fdcf5
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
  
  Fix issue 28 assertion error on indexed EBP-relative operands when testing for accesses above the stack frame.
  06d68b4e
- Merge branch 'SPARKwork' into 'master' · 774b13ee
  Clark Coleman authored 3 years ago
  
  Merge old SPARK changes into master. See merge request !21
  774b13ee
- 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

Found bug related to AccessAreaAboveStack being called
on lea instructions after normalized defs were set, but
those don't apply to lea instructions.

c732e217

Sep 14, 2021
- Update libehp · eb147061
  Jason Hiser authored 3 years ago
  
  eb147061
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
  
  SPARK: Improvements in nested conditionals and indentation; fix errors in MultiExitTarget loop translation.
  c82c7e5c
Jun 18, 2021
- SPARK: Minor translation improvements on jump-only loop exit target blocks. · 8b503ab0
  Clark Coleman authored 3 years ago
  
  8b503ab0
Jun 09, 2021
- Add LICENSE · c3cd2174
  Anh Nguyen-Tuong authored 3 years ago
  
  c3cd2174
- Delete LICENSE.txt · fff8be92
  Anh Nguyen-Tuong authored 3 years ago
  
  fff8be92
Jun 05, 2021
- Speedup via caching getenv() results. · e1fbb4ee
  Clark Coleman authored 3 years ago
  
  e1fbb4ee
Jun 04, 2021
- Merge branch 'master' of https://git.zephyr-software.com/opensrc/SMPStaticAnalyzer · 2062bac1
  Clark Coleman authored 3 years ago
  
  2062bac1
- Fix late crash in IDAP_term() when plugin is terminating by avoiding calls to SMP_msg(). · e0409902
  Clark Coleman authored 3 years ago
  
  e0409902
- Fix typo in testing for gcc>=8 · 99075a64
  Jason Hiser authored 3 years ago
  
  99075a64
- Make pragmas depend on GCC versions to avoid compilation errors. · 8ddb65c5
  Clark Coleman authored 3 years ago
  
  8ddb65c5
Jun 03, 2021
- Changes for Ubuntu 20 compilation of IDA Pro 7.6 service pack 1. · fc23dc14
  Clark Coleman authored 3 years ago
  
  fc23dc14
May 23, 2021
- Minor edits to support IDA Pro 7.6. · d22011b0
  Clark Coleman authored 3 years ago
  
  d22011b0
May 01, 2021
- Updates to interface with IDA Pro 7.5. · 9f4c23ab
  Clark Coleman authored 3 years ago
  
  9f4c23ab
Apr 26, 2021
- Restore inadvertent code deletion. · 95a763a8
  Clark Coleman authored 3 years ago
  
  95a763a8
Apr 23, 2021
- Changes to handle IDA Pro 7.5 interface change. · 89196804
  Clark Coleman authored 3 years ago
  
  89196804
Apr 21, 2021
- Submodule updated automatically on gitlabrunnerxenial at Wed Apr 21 00:00:09 UTC 2021 · dae63ed0
  xenial-runner authored 3 years ago
  
  dae63ed0
Apr 16, 2021
- Fix assertion failure in fib.exe move_globals test. · 8c560268
  Clark Coleman authored 3 years ago
  
  8c560268
Apr 10, 2021
- Improve loop iteration analysis by handling loops with multiple exiting blocks. · 63ae3640
  Clark Coleman authored 3 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 3 years ago
  
  e0d5b894