Commits · a198edb987bf9fd43ebc3fd81852c24c62fb4250 · Open Source Software / SMPStaticAnalyzer

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 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 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 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
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 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
Apr 06, 2018
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 6 years ago
  
  Former-commit-id: c6113e62f4c9c1f8c246ec8f6619a7da14346380
  997b89e6
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 6 years ago
  
  Former-commit-id: fcfc0eb3841387b6b26c1934e0766bdccde6a130
  0cc1cfbf
Mar 17, 2018
- Minor fixes from 14.04 · f02d9d4f
  jdh8d authored 7 years ago
  
  Former-commit-id: 36077ef5380c95248dd2afbe0945882c8e077451
  f02d9d4f
- better warning handling · 73d78e40
  jdh8d authored 7 years ago
  
  Former-commit-id: a64974349267da832a467d1564cfd8d72229d8b2
  73d78e40
Feb 23, 2018
- Improvements for stars type numbers, and capstone->stars operand conversions. · 8ef7a34d
  jdh8d authored 7 years ago
  
  Former-commit-id: 3385e74c8d23c2b1cd9e19b4d82abd3a69c56c3e
  8ef7a34d
- revised stars/irdb interface to use new operand format, adjusted isWritten... · fd47e417
  jdh8d authored 7 years ago
  
  revised stars/irdb interface to use new operand format, adjusted isWritten to reflect a much larger set of (explicit) no-write instructions Former-commit-id: 0ceda64ed7acddf6e3af67765312dd483fa38711
  fd47e417
- fix mul/div/imul/idiv libdecode->stars-op conversion · 634a497b
  jdh8d authored 7 years ago
  
  Former-commit-id: 849ff7a3a42c197a3f690f9c66d80f2b1042b712
  634a497b
Feb 22, 2018
- fixed push/pop calls to match standardized operand definition · d03645f5
  jdh8d authored 7 years ago
  
  Former-commit-id: 6842f166a7409c891fbb58dcadaa056982520e80
  d03645f5
Feb 21, 2018
- Moved DecodedInstruction_t into core. · d043a993
  jdh8d authored 7 years ago
  
  Former-commit-id: 5e4d029bd7ed2ba74ca6608affb0301a072bf497
  d043a993
Feb 16, 2018

Fixed pedi issue where dependencies weren't calculated right, and added the... · f8cd9c36

jdh8d authored 7 years ago

Fixed pedi issue where dependencies weren't calculated right, and added the mnemonic aliases for the mnemonic->stars_opcode enum conversion

Former-commit-id: c4454e6c2754973c7d2f15ef5c5b5f291d9c521e

f8cd9c36

Handle two opcodes removed in IDA Pro 7.0 in macro use here. · 38363193
clc5q authored 7 years ago
```
Former-commit-id: 14b37092b20f39d342c0aeaba89c618d97681f54
```
38363193

Feb 15, 2018
- Handle the insane deletion of two opcodes in IDA Pro 7.0. · 33e50cc0
  clc5q authored 7 years ago
  
  Former-commit-id: 3e7c2fcb51009cceb1198018daeb1b59b3c5327a
  33e50cc0
Feb 10, 2018
- converted stars/irdb to use libIRDB-decode · 12281c4e
  jdh8d authored 7 years ago
  
  Former-commit-id: e4bf83af48c99d9060bc410fe276817fda392cdd
  12281c4e
Feb 01, 2018
- changed to remove BEA engine from API · 2d592bb0
  jdh8d authored 7 years ago
  
  Former-commit-id: 8ef716f613633289a736ef39894ed7705ab80d7c
  2d592bb0