Commits · 5ac5cdf3ae6fa0b021f77a5a09398f6195dbd174 · Open Source Software / SMPStaticAnalyzer

Nov 20, 2020
- SPARK: Improve detection of unstructured conditional statements. · 5ac5cdf3
  Clark Coleman authored 4 years ago
  
  5ac5cdf3
Nov 19, 2020
- SPARK: Implement new algorithm for FindConditionalFollowNode(); compare to old. · f1acb7e8
  Clark Coleman authored 4 years ago
  
  f1acb7e8
Nov 13, 2020
- SPARK: Nearing completion of translation of multi-exit-target loops and... · fac13e3c
  Clark Coleman authored 4 years ago
  
  SPARK: Nearing completion of translation of multi-exit-target loops and SHORT_CIRCUIT_INVERTED_LOOP_EXITs.
  fac13e3c
Nov 01, 2020
- SPARK: Improve diagnostic data on unstructured CFGs. · cc6035aa
  Clark Coleman authored 4 years ago
  
  cc6035aa
Oct 31, 2020
- SPARK: Prep work for translating loops with multiple follow blocks. · 69228a5a
  Clark Coleman authored 4 years ago
  
  69228a5a
Oct 23, 2020
- SPARK: Prep work for loops with multiple follow blocks. · f0c08ba7
  Clark Coleman authored 4 years ago
  
  f0c08ba7
Oct 13, 2020
- SPARK: Translate boundary cases of switch statements. · 4d33167a
  Clark Coleman authored 4 years ago
  
  4d33167a
Oct 05, 2020
- SPARK: Add INVERTED_LOOP_BACK type, detect it, follow its successor when StaysInLoop is true. · fc64d978
  Clark Coleman authored 4 years ago
  
  fc64d978
- 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
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 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 08, 2020
- SPARK Ada translation fixes. · dca4d9d8
  Clark Coleman authored 4 years ago
  
  dca4d9d8
Aug 23, 2020
- Fix crashes on SPARK translation of large binaries. · 56dbd452
  Clark Coleman authored 4 years ago
  
  56dbd452
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 13, 2019
- Don't try to find code addresses in shared data for shared objects, DLLs and... · 1937bc5a
  Clark Coleman authored 5 years ago
  
  Don't try to find code addresses in shared data for shared objects, DLLs and archives for STARS/IDA Pro.
  1937bc5a
Dec 10, 2019
- Fixes for stack pointer analysis corner cases. · 64f75879
  Clark Coleman authored 5 years ago
  
  64f75879
Oct 24, 2019
- updates for initial mips support · 8c405f65
  Jason Hiser authored 5 years ago
  
  8c405f65
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 24, 2019
- Use FDE ranges to reset function boundaries when IDA Pro has questionable boundaries. · 8176e4c5
  Clark Coleman authored 5 years ago
  
  8176e4c5
May 03, 2019
- unique_ptr fix, log file ERROR message enhancement and reduction. · 795593b0
  Clark Coleman authored 5 years ago
  
  795593b0
May 01, 2019
- Convert STARSInstrPtr in SMPInstr to unique_ptr. · 44e9380d
  Clark Coleman authored 5 years ago
  
  44e9380d
- Replace uses of STARS_IRDB_Instruction_t constructor. · caf11e4b
  Clark Coleman authored 5 years ago
  
  caf11e4b
Apr 29, 2019
- Continue work on memory leaks; re-do STARS_IRDB_Instruction_t freeing. · 3981482a
  Clark Coleman authored 5 years ago
  
  3981482a
Apr 17, 2019
- Add virtual memory tracking output. · 69746948
  Clark Coleman authored 5 years ago
  
  69746948
Apr 10, 2019
- Fix STARS_getenv() implementations. · 47472e88
  Clark Coleman authored 5 years ago
  
  47472e88
Apr 09, 2019
- Add debugging capabilities for DEADREGS annotations via environment variables. · 24f3e58e
  Clark Coleman authored 5 years ago
  
  24f3e58e
Feb 23, 2019
- Fix some memory leaks. · 54cd8f87
  Clark Coleman authored 6 years ago
  
  54cd8f87
Feb 04, 2019
- update to build libirdb-deep · 6951453a
  Jason Hiser authored 6 years ago
  
  6951453a
Feb 01, 2019
- refactoring libirdb-util and libirdb-syscall · 184f3f01
  Jason Hiser authored 6 years ago
  
  184f3f01
Jan 26, 2019
- refactoring libIRDB · 23624cac
  Jason Hiser authored 6 years ago
  
  23624cac
Jan 17, 2019
- Improve tracking of init values for STATICMEMWRITE annotations. · 035a2558
  Clark Coleman authored 6 years ago
  
  035a2558
Jan 12, 2019
- porting some more functionality to ARM64 · 19db9ed5
  Jason Hiser authored 6 years ago
  
  19db9ed5
Jan 10, 2019
- Add SENTINEL annotations for compare or test instructions in loops that don't... · d009f746
  Clark Coleman authored 6 years ago
  
  Add SENTINEL annotations for compare or test instructions in loops that don't use the last value of the induction var.
  d009f746
Jan 04, 2019

Increase memory annotations by tracing to the initial value for address regs... · c1f3b0d2

Clark Coleman authored 6 years ago

Increase memory annotations by tracing to the initial value for address regs on memory access instructions that have no annotations.

c1f3b0d2