Commits · 27e3bc6da82cfe0d3b955310596e0d92df953679 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Feb 03, 2025
- Updates for c++17 · 27e3bc6d
  Jason Hiser authored 2 months ago
  
  27e3bc6d
Oct 18, 2023
- Allow retrieval of sourceInstruction from TraceUltimateMoveSource · 8382f768
  Leon Weiss authored 1 year ago
  
  8382f768
Jan 06, 2023
- Update to elfio master to deal with turbo-found failures · 32eca445
  Jason Hiser authored 2 years ago
  
  32eca445
Oct 05, 2022
- SPARK: Handle short circuit exprs with unoptimized set-flags-bit logic. · 59289281
  Clark Coleman authored 2 years ago
  
  59289281
Sep 20, 2022
- SPARK: Translate parity flag branches in short circuit conditionals. · 74f878a3
  Clark Coleman authored 2 years ago
  
  74f878a3
Aug 23, 2022
- SPARK: Handle conditional tail calls; code cleanup. · eb1c4973
  Clark Coleman authored 2 years ago
  
  eb1c4973
Jul 27, 2022
- Enable FastDeadRegs mode in STARS-IRDB. · b2763719
  Clark Coleman authored 2 years ago
  
  b2763719
Jul 25, 2022
- Fixes for fast DEADREGS operation. · 25506309
  Clark Coleman authored 2 years ago
  
  25506309
Jul 23, 2022
- Short circuiting analyses not needed for DEADREGS annotations. · 0b899273
  Clark Coleman authored 2 years ago
  
  0b899273
Jun 27, 2022
- Add debugging output for palignr operands. · 615bdf2b
  Clark Coleman authored 2 years ago
  
  615bdf2b
Jun 14, 2022
- Handle calls to external funcs cleanly; handle corner case of leaf func with... · 248dc9f0
  Clark Coleman authored 2 years ago
  248dc9f0
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
Dec 27, 2021
- 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
Jul 22, 2021
- SPARK: Loop contracts fixes. · a032cd0f
  Clark Coleman authored 3 years ago
  
  a032cd0f
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
Jun 05, 2021
- Speedup via caching getenv() results. · e1fbb4ee
  Clark Coleman authored 3 years ago
  
  e1fbb4ee
Jun 04, 2021
- 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 01, 2021
- Updates to interface with IDA Pro 7.5. · 9f4c23ab
  Clark Coleman authored 3 years ago
  
  9f4c23ab
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 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
- 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
  49830e85
- Revert "Updates for ubuntu20's compiler" · 576dd962
  Jason Hiser authored 4 years ago
  576dd962
- Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer" · 30a39087
  Jason Hiser authored 4 years ago
  30a39087
- 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 01, 2021
- Updated pragmas for older OSs · dbaa1d9c
  Jason Hiser authored 4 years ago
  
  dbaa1d9c
- Updates for ubuntu20 · f79825ef
  Jason Hiser authored 4 years ago
  
  f79825ef
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 17, 2021
- SPARK: Cloning fixes. · 0702a045
  Clark Coleman authored 4 years ago
  
  0702a045