Commits · master · Open Source Software / SMPStaticAnalyzer

14 Sep, 2021 1 commit
- Update libehp · eb147061
  Jason Hiser authored Sep 14, 2021
  
  eb147061
22 Jul, 2021 1 commit
- SPARK: Loop contracts fixes. · a032cd0f
  Clark Coleman authored Jul 22, 2021
  
  a032cd0f
23 Jun, 2021 1 commit
- SPARK: small fixes plus indentation fixes. · d960d1fb
  Clark Coleman authored Jun 23, 2021
  
  d960d1fb
19 Jun, 2021 1 commit
- SPARK: Improvements in nested conditionals and indentation; fix errors in... · c82c7e5c
  Clark Coleman authored Jun 19, 2021
```
SPARK: Improvements in nested conditionals and indentation; fix errors in MultiExitTarget loop translation.
```
  c82c7e5c
18 Jun, 2021 1 commit
- SPARK: Minor translation improvements on jump-only loop exit target blocks. · 8b503ab0
  Clark Coleman authored Jun 17, 2021
  
  8b503ab0
09 Jun, 2021 2 commits
- Add LICENSE · c3cd2174
  Anh Nguyen-Tuong authored Jun 09, 2021
  
  c3cd2174
- Delete LICENSE.txt · fff8be92
  Anh Nguyen-Tuong authored Jun 09, 2021
  
  fff8be92
05 Jun, 2021 1 commit
- Speedup via caching getenv() results. · e1fbb4ee
  Clark Coleman authored Jun 05, 2021
  
  e1fbb4ee
04 Jun, 2021 4 commits
- Merge branch 'master' of https://git.zephyr-software.com/opensrc/SMPStaticAnalyzer · 2062bac1
  Clark Coleman authored Jun 04, 2021
  
  2062bac1
- Fix late crash in IDAP_term() when plugin is terminating by avoiding calls to SMP_msg(). · e0409902
  Clark Coleman authored Jun 04, 2021
  
  e0409902
- Fix typo in testing for gcc>=8 · 99075a64
  Jason Hiser authored Jun 04, 2021
  
  99075a64
- Make pragmas depend on GCC versions to avoid compilation errors. · 8ddb65c5
  Clark Coleman authored Jun 04, 2021
  
  8ddb65c5
03 Jun, 2021 1 commit
- Changes for Ubuntu 20 compilation of IDA Pro 7.6 service pack 1. · fc23dc14
  Clark Coleman authored Jun 03, 2021
  
  fc23dc14
23 May, 2021 1 commit
- Minor edits to support IDA Pro 7.6. · d22011b0
  Clark Coleman authored May 22, 2021
  
  d22011b0
01 May, 2021 1 commit
- Updates to interface with IDA Pro 7.5. · 9f4c23ab
  Clark Coleman authored May 01, 2021
  
  9f4c23ab
26 Apr, 2021 1 commit
- Restore inadvertent code deletion. · 95a763a8
  Clark Coleman authored Apr 25, 2021
  
  95a763a8
23 Apr, 2021 1 commit
- Changes to handle IDA Pro 7.5 interface change. · 89196804
  Clark Coleman authored Apr 22, 2021
  
  89196804
21 Apr, 2021 1 commit
- Submodule updated automatically on gitlabrunnerxenial at Wed Apr 21 00:00:09 UTC 2021 · dae63ed0
  xenial-runner authored Apr 21, 2021
  
  dae63ed0
16 Apr, 2021 1 commit
- Fix assertion failure in fib.exe move_globals test. · 8c560268
  Clark Coleman authored Apr 16, 2021
  
  8c560268
10 Apr, 2021 1 commit
- Improve loop iteration analysis by handling loops with multiple exiting blocks. · 63ae3640
  Clark Coleman authored Apr 09, 2021
  
  63ae3640
25 Mar, 2021 1 commit
- Improve loop induction var analysis by tracing a BIV through spill/unspill in a loop. · e0d5b894
  Clark Coleman authored Mar 25, 2021
  
  e0d5b894
22 Mar, 2021 1 commit
- Handle new opcodes from IDA Pro 7.5. · 97307770
  Clark Coleman authored Mar 22, 2021
  
  97307770
19 Mar, 2021 1 commit
- SPARK: Translate LOOP opcodes and rdrand/rdseed opcodes. · 4f640d09
  Clark Coleman authored Mar 18, 2021
  
  4f640d09
15 Mar, 2021 8 commits
- Update for old compilers · 3491636a
  Jason Hiser authored Mar 15, 2021
  
  3491636a
- Update pragmas to allow old compiler to accept new pragmas. · 2a7d2661
  Jason Hiser authored Mar 15, 2021
  
  2a7d2661
- Revert "Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer"" · 49830e85
  Jason Hiser authored Mar 15, 2021
```
This reverts commit 30a39087.
```
  49830e85
- Update path to zipr · 158d94b5
  Jason Hiser authored Mar 15, 2021
  
  158d94b5
- Revert "Updates for ubuntu20's compiler" · 576dd962
  Jason Hiser authored Mar 15, 2021
```
This reverts commit 0a39c68a.
```
  576dd962
- Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer" · 30a39087
  Jason Hiser authored Mar 15, 2021
```
This reverts commit c46040b7, reversing
changes made to 0a39c68a.
```
  30a39087
- Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer · c46040b7
  Jason Hiser authored Mar 15, 2021
  
  c46040b7
- Updates for ubuntu20's compiler · 0a39c68a
  Jason Hiser authored Mar 15, 2021
  
  0a39c68a
11 Mar, 2021 1 commit
- SPARK: Improvements to FindSingleExpression() and short-circuit expression translation. · 268287cd
  Clark Coleman authored Mar 11, 2021
  
  268287cd
04 Mar, 2021 1 commit
- Recognize xorps and xorpd of an SSE reg with itself as a register clearing idiom. · 346a5026
  Clark Coleman authored Mar 03, 2021
  
  346a5026
03 Mar, 2021 1 commit
- SPARK: Use flags reg at top of short circuit expr; parenthesize subexprs. · 65c92a0b
  Clark Coleman authored Mar 03, 2021
  
  65c92a0b
01 Mar, 2021 6 commits
- Update path to peasoup · ff839ddd
  Jason Hiser authored Mar 01, 2021
  
  ff839ddd
- Updated pragmas for older OSs · dbaa1d9c
  Jason Hiser authored Mar 01, 2021
  
  dbaa1d9c
- Updates for ubuntu20 · f79825ef
  Jason Hiser authored Mar 01, 2021
  
  f79825ef
- Update for ubuntu20 · 7434784a
  Jason Hiser authored Mar 01, 2021
  
  7434784a
- SPARK: CLONING 10: Clone to fix FTNotDominated and FTDeadEnd combination. · eb15a69d
  Clark Coleman authored Mar 01, 2021
  
  eb15a69d
- SPARK: CLONING 9: Clone to solve NFTNotDominated and NFTDeadEnd combination. · cd2c115d
  Clark Coleman authored Feb 28, 2021
  
  cd2c115d