Commits · 9ae06334b00d435f1dbd46a55a877b9045cc15bd · Open Source Software / SMPStaticAnalyzer

Nov 24, 2018
- Crash fix for tar binary; loop analysis fixes for move_globals annotations. · 9ae06334
  Clark Coleman authored 6 years ago
  
  9ae06334
Nov 20, 2018
- Handle unpinned and pinned fixed calls. · 482e04ee
  Clark Coleman authored 6 years ago
  
  482e04ee
- Fixed-call-push robustness fix; minor speedup; add loop analysis diagnostic counters. · b3eb8709
  Clark Coleman authored 6 years ago
  
  b3eb8709
- Minor fixes and speedups. · b1fe4e49
  Clark Coleman authored 6 years ago
  
  b1fe4e49
Nov 16, 2018
- Generalize memory annotations to static and stack reads and writes. · cac5dd22
  Clark Coleman authored 6 years ago
  
  cac5dd22
Nov 07, 2018
- Generalize loop memory write analyses, improve symbolic analyses. · a198edb9
  Clark Coleman authored 6 years ago
  
  a198edb9
Oct 24, 2018
- WIP for memory range annotations; add constant propagation to STARS_Option_t. · 790b26f9
  Clark Coleman authored 6 years ago
  
  790b26f9
Oct 16, 2018
- Begin move_globals support via generalizing loop analyses to analyze static global memory writes. · 7ecdd710
  Clark Coleman authored 6 years ago
  
  7ecdd710
Oct 06, 2018
- Fix IRDB read/written bits on invisible operand opcodes like div, mul, and cqo. · 1ea968ee
  Clark Coleman authored 6 years ago
  
  1ea968ee
- Disable libehp use until ready for deeper analysis. · 64d230b0
  Clark Coleman authored 6 years ago
  
  64d230b0
Oct 05, 2018
- Experimenting with scons for libehp linking. · 036b2a64
  Clark Coleman authored 6 years ago
  
  036b2a64
Sep 28, 2018
- Increase robustness when there is no fall-through inst (capstone problem on... · de3552aa
  Clark Coleman authored 6 years ago
  
  Increase robustness when there is no fall-through inst (capstone problem on nop followed by prefetch).
  de3552aa
Sep 25, 2018
- Prepare for use of libehp to get EH_FRAME section info. · 7fe27636
  Clark Coleman authored 6 years ago
  
  7fe27636
Sep 22, 2018
- For prefetchnta opcode, handle beaengine or capstone mnemonics properly. · f42ae844
  Clark Coleman authored 6 years ago
  
  f42ae844
Sep 21, 2018
- Fix RTLs for all four mul/imul/div/idiv opcodes. · 200dece4
  Clark Coleman authored 6 years ago
  
  200dece4
Sep 18, 2018
- Audit func boundaries vs. catch block boundaries; begin detection of global... · 3b56cf16
  Clark Coleman authored 6 years ago
  
  Audit func boundaries vs. catch block boundaries; begin detection of global var sentinel usage in loops.
  3b56cf16
Sep 07, 2018
- Operator fix · 0e752637
  Matthew McGill authored 6 years ago
  
  0e752637
Sep 04, 2018
- API change · 5ef0402f
  Matthew McGill authored 6 years ago
  
  5ef0402f
- Speedup for changes required to support unpinned IBTs · 4f98acf7
  Matthew McGill authored 6 years ago
  
  4f98acf7
Sep 03, 2018
- Begin using IDA Pro catch block addrs to improve CFG. · bb0819aa
  Clark Coleman authored 6 years ago
  
  bb0819aa
Aug 10, 2018
- Fix fall-through and conditional tail call code in SMPFunction::ComputeReturnTargets(). · a0694899
  Clark Coleman authored 6 years ago
  
  a0694899
Aug 07, 2018
- added verbose output · 70b500b1
  Jason Hiser authored 6 years ago
  
  70b500b1
Aug 05, 2018
- RTL cleanup for floating point opcodes. · ec84d76d
  Clark Coleman authored 6 years ago
  
  ec84d76d
Aug 01, 2018
- Build RTLs and better handle 8087 floating point opcodes. · c83f278c
  Clark Coleman authored 6 years ago
  
  View commits for tag CFAR_AEI CFAR_AEI
  
  c83f278c
Jul 31, 2018
- Fix operands for fld opcode. · 8d819e07
  Clark Coleman authored 6 years ago
  
  8d819e07
Jul 26, 2018
- Remove inst-addr-order assumptions that won't work on STARS IRDB, if it ever... · 3dc0bdf9
  Clark Coleman authored 6 years ago
  
  Remove inst-addr-order assumptions that won't work on STARS IRDB, if it ever uses numeric annotations output again.
  3dc0bdf9
Jul 25, 2018
- Don't allow PLT funcs to be classified as leafs; better recognition of PLT funcs. · 268b1b50
  Clark Coleman authored 6 years ago
  
  268b1b50
Jul 24, 2018
- Updated comment to point at related issue · def94d18
  Matthew McGill authored 6 years ago
  
  def94d18
- Optimization · a9a162a9
  Matthew McGill authored 6 years ago
  
  a9a162a9
- typo · ae85b3a8
  Matthew McGill authored 6 years ago
  
  ae85b3a8
- Change to support unpinned IBTs in the IRDB · 2e2af5f4
  Matthew McGill authored 6 years ago
  
  2e2af5f4
Jul 21, 2018
- Improve SCCP, CONSTARG annotations, and track args to strcpy_chk() just like strcpy() is tracked. · ebe26e04
  Clark Coleman authored 6 years ago
  
  ebe26e04
Jul 20, 2018
- Fixes to SCCP and annotations for const-siz malloc buffers passed to vulnerable library functions. · 953ff0e1
  Clark Coleman authored 6 years ago
  
  953ff0e1
Jun 25, 2018
- Make methods machine independent to ease porting. · 305a7689
  Clark Coleman authored 6 years ago
  
  305a7689
Jun 01, 2018
- Add braces in else clauses. · f2f9e7a2
  Will Hawkins authored 6 years ago
  
  f2f9e7a2
May 27, 2018
- Trivial speedup; learning git. · 0e66d540
  Clark Coleman authored 6 years ago
  
  Former-commit-id: efc47ab76e0672f538a67b823b06e0081d1264d9
  0e66d540
May 19, 2018
- Handle duplicate basic induction variables. · b2870a07
  clc5q authored 6 years ago
  
  Former-commit-id: fc1c3648e97f564c29fe5c6c117d8d36e4744b50
  b2870a07
May 15, 2018
- Output more alarms, exclude segregs from data flow operand category. · 5f738e50
  clc5q authored 6 years ago
  
  Former-commit-id: 3c2818998ead6beb6ec4f163192336c8dee8711e
  5f738e50
May 12, 2018
- Speedup of AliasAnalysis (finally a major improvement). · 6f661ee1
  clc5q authored 6 years ago
  
  Former-commit-id: d2a840cc03c5c98996028120bbb248315393e42b
  6f661ee1
May 10, 2018
- Fixes for STACKMEMRANGE annotations. · 346ea71b
  clc5q authored 6 years ago
  
  Former-commit-id: e1f14134c403f0b61511e7688d564d1698cc9b2d
  346ea71b