Commits · 1b2f22146c02233a41c3ed2bf17a86a0474049db · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Oct 05, 2020
- SPARK: Translate fall-through block after conditional tail call. · 1b2f2214
  Clark Coleman authored 4 years ago
  
  1b2f2214
Oct 02, 2020
- SPARK: Add verbose env var; add StaysInLoop logic for LOOP_EXIT as was done for LOOP_BACK. · 38e3473f
  Clark Coleman authored 4 years ago
  
  38e3473f
- SPARK: Use StaysInLoop logic for tail block fall-throughs in one more place;... · deaa0caa
  Clark Coleman authored 4 years ago
  
  SPARK: Use StaysInLoop logic for tail block fall-throughs in one more place; reduce loop expr log file output.
  deaa0caa
- SPARK fix; debugging enhancements. · 2feb303a
  Clark Coleman authored 4 years ago
  
  2feb303a
Sep 30, 2020
- SPARK: Find unstructured if-then-else statements. · be633edf
  Clark Coleman authored 4 years ago
  
  be633edf
Sep 28, 2020
- SPARK: Translate structured loop_continue code; mark unstructured cases as untranslatable. · 35f09ea5
  Clark Coleman authored 4 years ago
  
  35f09ea5
Sep 24, 2020
- Begin identifying C/C++ loop continue statement code patterns for SPARK translation. · a72fb792
  Clark Coleman authored 4 years ago
  
  a72fb792
Sep 21, 2020
- SPARK: Translate code after conditional in guarded loop that is being skipped. · fe95d5b7
  Clark Coleman authored 4 years ago
  
  fe95d5b7
Sep 20, 2020
- SPARK: Handle INDIR_CALL at end of block. · de194b62
  Clark Coleman authored 4 years ago
  
  de194b62
Sep 18, 2020
- Handle COND_BRANCH on sign bit values in SPARK translation. · f26743c4
  Clark Coleman authored 4 years ago
  
  f26743c4
Sep 14, 2020
- SPARK translation for signed compare followed by unsigned conditional branch. · d2c4c1b0
  Clark Coleman authored 4 years ago
  
  d2c4c1b0
Sep 13, 2020
- SPARK translation improvements and crash fixes. · 9703e483
  Clark Coleman authored 4 years ago
  
  9703e483
Sep 10, 2020
- Use STATICMEMREAD info annotations instead of lumping reads in with STATICMEMWRITE. · d387dcf8
  Clark Coleman authored 4 years ago
  
  d387dcf8
Sep 08, 2020
- SPARK Ada translation fixes. · dca4d9d8
  Clark Coleman authored 4 years ago
  
  dca4d9d8
Aug 29, 2020
- SPARK crash fixes for sks and mplayer binaries. · 63eb0fec
  Clark Coleman authored 4 years ago
  
  63eb0fec
Aug 28, 2020
- More fixes for SPARK translation crashes on large files. · c25a6c28
  Clark Coleman authored 4 years ago
  
  c25a6c28
Aug 25, 2020
- SPARK crash fixes. · 27f3de54
  Clark Coleman authored 4 years ago
  
  27f3de54
Aug 24, 2020
- Fix firefox crash on SPARK output. · d63ed4c9
  Clark Coleman authored 4 years ago
  
  d63ed4c9
- Crash fix: Handle COND_BRANCH back to entry of function in finding stack adjustments. · f98f20a1
  Clark Coleman authored 4 years ago
  
  f98f20a1
Aug 23, 2020
- Fix crashes on SPARK translation of large binaries. · 56dbd452
  Clark Coleman authored 4 years ago
  
  56dbd452
Jan 30, 2020
- Improve debugging output. · c03d6eac
  Clark Coleman authored 5 years ago
  
  c03d6eac
Jan 14, 2020
- Add dot CFG output; add debugging output; fix for stack pointer analysis on recursive functions. · 3845aaa3
  Clark Coleman authored 5 years ago
  
  3845aaa3
Dec 10, 2019
- Fixes for stack pointer analysis corner cases. · 64f75879
  Clark Coleman authored 5 years ago
  
  64f75879
Aug 03, 2019
- Robust fixes for fixed-call fallthroughs and CFG problems from function ID errors. · 82814b80
  Clark Coleman authored 5 years ago
  
  82814b80
Jul 22, 2019
- Add GetFuncID() method, use func IDs in *.STARSloops annotations. · 8275e31d
  Clark Coleman authored 5 years ago
  
  8275e31d
- Emit *.STARSloops output file with loop nest info. · bcc17a67
  Clark Coleman authored 5 years ago
  
  bcc17a67
May 30, 2019
- Stack frame analysis fix when push occurs after frame alloc. · c83b6209
  Clark Coleman authored 5 years ago
  
  c83b6209
May 06, 2019
- arm32 update to avoid SetInterrupt when it shouldn't be set · 85c3ed12
  Jason Hiser authored 5 years ago
  
  85c3ed12
May 03, 2019
- unique_ptr fix, log file ERROR message enhancement and reduction. · 795593b0
  Clark Coleman authored 5 years ago
  
  795593b0
May 02, 2019
- arm32 support · 4e8f14c9
  Jason Hiser authored 5 years ago
  
  4e8f14c9
May 01, 2019
- Convert STARSInstrPtr in SMPInstr to unique_ptr. · 44e9380d
  Clark Coleman authored 5 years ago
  
  44e9380d
Apr 29, 2019
- Continue work on memory leaks; re-do STARS_IRDB_Instruction_t freeing. · 3981482a
  Clark Coleman authored 5 years ago
  
  3981482a
Apr 20, 2019
- Minor memory leak fixes; pointer cleanup; Xrefs annotation fix. · a4ebf5ef
  Clark Coleman authored 5 years ago
  
  a4ebf5ef
Apr 17, 2019
- Add virtual memory tracking output. · 69746948
  Clark Coleman authored 5 years ago
  
  69746948
Apr 12, 2019
- Avoid adding hidden EDX operand on imul opcodes with explicit operand list. · 0a63e27b
  Clark Coleman authored 5 years ago
  
  0a63e27b
- Avoid adding hidden EDX operand on 8-bit multiply opcodes. · d413777e
  Clark Coleman authored 5 years ago
  
  d413777e
- Avoid adding hidden EDX operand on IRDB uses of 8-bit multiply opcodes. · e22e5079
  Clark Coleman authored 5 years ago
  
  e22e5079
Apr 09, 2019
- Add debugging capabilities for DEADREGS annotations via environment variables. · 24f3e58e
  Clark Coleman authored 5 years ago
  
  24f3e58e
Mar 21, 2019
- Corner case fix to support LAF; BinaryRTL() building cleanup. · 63c3799f
  Clark Coleman authored 6 years ago
  
  63c3799f
Feb 24, 2019
- Back off some memory leak fixes to prevent double-delete issues in STARS IRDB. · 4acb3099
  Clark Coleman authored 6 years ago
  
  4acb3099