Commits · 58470146f08c6112d4f18cd0db0f3f40b30a6547 · Open Source Software / SMPStaticAnalyzer

Oct 02, 2014
- Detect decrement RTLs, not just opcodes; IDIOM 29 for decrement of zero-extended byte. · 58470146
  clc5q authored 10 years ago
  
  58470146
Oct 01, 2014
- Expand definition of hashing operation to include all rotate opcodes. · 9d01a48b
  clc5q authored 10 years ago
  
  9d01a48b
- Extend IDIOM 18 to USEs of POINTER types in lea instructions. · 04156d5d
  clc5q authored 10 years ago
  
  04156d5d
- Fix MEDS type inference on stdlib return registers. · 9fe0d4bd
  clc5q authored 10 years ago
  
  9fe0d4bd
- Improve interprocedural type propagation by adding missing call to ResetProcessedBlock(). · 8b0ae5bd
  clc5q authored 10 years ago
  
  8b0ae5bd
Sep 30, 2014
- Infer and propagate MEDS NUMERIC and POINTER types for stdlib return value registers. · 6e360378
  clc5q authored 10 years ago
  
  6e360378
- Propagate MEDS stack location types until indirect writes are seen; increases IDIOMs 18 and 19. · 961650e8
  clc5q authored 10 years ago
  
  961650e8
Sep 27, 2014
- Handle tail call detection on Dealloc instruction; corner case. · 657c4a21
  clc5q authored 10 years ago
  
  657c4a21
Sep 25, 2014
- Handle fast return suppression on tail call cases. · e53dc758
  clc5q authored 10 years ago
  
  e53dc758
Sep 24, 2014
- Add IDIOM 28 for subword arithmetic from previous full-word arithmetic results. · d82f27a0
  clc5q authored 10 years ago
  
  d82f27a0
Sep 23, 2014

Emit basic annotations and STARScallreturn annotations for unreachable,... · feef6bb4

clc5q authored 10 years ago

Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

feef6bb4

Sep 19, 2014
- Bug 192: Work on subversion false positives. Expand IDIOM 14, add truncation idiom 27. · 9f8f5f06
  clc5q authored 10 years ago
  
  9f8f5f06
Sep 17, 2014
- Continue SPARK Ada translation. · 03d73152
  clc5q authored 10 years ago
  
  03d73152
Sep 03, 2014
- Prevent deletion of SSA marker instructions. · 20af2488
  clc5q authored 10 years ago
  
  20af2488
- Phase reordering to prepare for further analyses of return address safety. · c6bb022a
  clc5q authored 10 years ago
  
  c6bb022a
Sep 02, 2014
- Emit SPARK Ada loops. · 2acc7d16
  clc5q authored 10 years ago
  
  2acc7d16
Aug 30, 2014
- Emit diagnostic to log for funcs UNSAFE only because of callees. · d6ceb075
  clc5q authored 10 years ago
  
  d6ceb075
Aug 29, 2014
- Emit *.STARScallreturn file with info about fast returns and return address safety. · dd7c0baa
  clc5q authored 10 years ago
  
  dd7c0baa
Aug 26, 2014
- Added code to add ifunc attribute · 40a93b15
  jdh8d authored 10 years ago
  
  40a93b15
Aug 25, 2014
- Control indentation in SPARK Ada translation. · 54c16881
  clc5q authored 10 years ago
  
  54c16881
Aug 21, 2014
- Continue SPARK translation; fix libc assertion on syscall. · 430f1a1c
  clc5q authored 10 years ago
  
  430f1a1c
Aug 13, 2014
- Implement reduced analysis for huge binaries. · 4a747b1d
  clc5q authored 10 years ago
  
  4a747b1d
Aug 11, 2014
- Support CGC binary filetype (magic number). · 6303db4d
  clc5q authored 10 years ago
  
  6303db4d
Aug 05, 2014
- Bug 205: Make AnalyzeMemset() use IsArgumentPass() to be sound for 64-bit binaries. · 5d2b4bfa
  clc5q authored 10 years ago
  
  5d2b4bfa
Aug 04, 2014
- Set up code to produce DIF files as prelude to binary rewriting. · aa40d7c7
  clc5q authored 10 years ago
  
  aa40d7c7
Aug 02, 2014
- Continue routing IDA calls through middleware layer and cleaning up code. · 2adab9cd
  clc5q authored 10 years ago
  
  2adab9cd
Aug 01, 2014
- Fix random crashes due to unchecked use of iterator; fix compiler warning on output format string. · e738b01b
  clc5q authored 10 years ago
  
  e738b01b
Jul 31, 2014
- Code cleanup. · a958d7cd
  clc5q authored 10 years ago
  
  a958d7cd
Jul 30, 2014
- Detect accesses to return addresses on the stack. · cf9b715e
  clc5q authored 10 years ago
  
  cf9b715e
Jul 29, 2014
- Continue replacing direct IDA SDK calls with middleware layer calls. · c69865b1
  clc5q authored 10 years ago
  
  c69865b1
Jul 28, 2014
- Eliminate DEADREGS annotations for indirect calls until we have sound target analysis. · 1b4ae83e
  clc5q authored 10 years ago
  
  1b4ae83e
- Emit DEADREGS annotations for all types of call instructions. · f4310bae
  clc5q authored 10 years ago
  
  f4310bae
Jul 05, 2014
- Continue refinement of IDIOM 7 for signedness. · 6e2d3259
  clc5q authored 10 years ago
  
  6e2d3259
Jul 01, 2014

Continue SPARK-Ada translation; fix three bugs in IDIOM 7 suppression; fix... · b37eeda9

clc5q authored 10 years ago

Continue SPARK-Ada translation; fix three bugs in IDIOM 7 suppression; fix iterator error that can cause an infinite loop.

b37eeda9

Jun 26, 2014
- Add loop type analysis for translation to SPARK-Ada. · 83e6d680
  clc5q authored 10 years ago
  
  83e6d680
Jun 04, 2014
- Increase interprocedural type propagation. · 52faa415
  clc5q authored 10 years ago
  
  52faa415
Jun 02, 2014
- Fix FindCounterHelper argument pass. · d38300df
  clc5q authored 10 years ago
  
  d38300df
Jun 01, 2014
- Undo 64-bit code fix that ruined IDIOM 22. · 781da927
  clc5q authored 10 years ago
  
  781da927
May 28, 2014
- Begin loop type analysis. · 54dc4c4f
  clc5q authored 10 years ago
  
  54dc4c4f
May 25, 2014
- Sort successor blocks by address. · bb2fa6c0
  clc5q authored 10 years ago
  
  bb2fa6c0