Commits · 500cc1cb65280440c5c15b2e41ede3529b8fde10 · Open Source Software / SMPStaticAnalyzer

Feb 02, 2016
- Fix broken multi-line if-statement in macro. · 500cc1cb
  clc5q authored 9 years ago
  
  Former-commit-id: 38fbf8f36d6ce92431d4967752f2c93296367f5b
  500cc1cb
- Derived class fixes to remove const qualifier. · ffcb3bd4
  clc5q authored 9 years ago
  
  Former-commit-id: cfafb22ae47303827138e13b44df18ed252f390f
  ffcb3bd4
- Derived class fixes to remove const qualifier. · b9c7495b
  clc5q authored 9 years ago
  
  Former-commit-id: 524f44f7d562f7817a19782eb4c9ccdb0cacac56
  b9c7495b
- Derived class fixes to remove const qualifier. · 67883d85
  clc5q authored 9 years ago
  
  Former-commit-id: e44c1c31bcc8f5c136a14128270cc2cfb59b645c
  67883d85
- Derived class fixes to remove const qualifier. · 08c22992
  clc5q authored 9 years ago
  
  Former-commit-id: adc75ac16a3388e2a9eea07cb1419b02b3e90893
  08c22992
- Cache result to speed up IRDB GetIDAOpcode(). · b89a1445
  clc5q authored 9 years ago
  
  Former-commit-id: 632c552df4e7c4c86b34da63f5e93bf2f0192877
  b89a1445
- Exclude program counter reg from analyses. · 64d12817
  clc5q authored 9 years ago
  
  Former-commit-id: 3df46efe22bebc503697f9473a6b6f89a731b88c
  64d12817
- Fix EIP-relative lea inst RTL building. · 78d4fd96
  clc5q authored 9 years ago
  
  Former-commit-id: e93413c08d6506e9d4f785dc2ce40ebbac28dcbd
  78d4fd96
- Continue operand encoding normalization. · fa23ce5d
  clc5q authored 9 years ago
  
  Former-commit-id: d99a0ebe1912de54fdbc80de9c4b923269c176b9
  fa23ce5d
Feb 01, 2016
- Add base class STARSOp.cpp and move MDExtractAddressFields() to it. · 8d5fe799
  clc5q authored 9 years ago
  
  Former-commit-id: a27e089557e419710b83d4e71eff0c0ae3ed8a64
  8d5fe799
- revised stars_irdb_op_t::SetMem* functions to assert if called in the wrong way. · 4af00900
  jdh8d authored 9 years ago
  
  Former-commit-id: 5d9b4d4244b627177a182caf9bf664003111586c
  4af00900
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  
  Former-commit-id: 9c82291904911e85fb78fc87d3f0d9b21da702b2
  8fc22652
Jan 30, 2016
- added ClearSIB() function to disable the side fields in an operand · c73afb32
  jdh8d authored 9 years ago
  
  Former-commit-id: 698daa9cb7b84cc24fa320c6cbf1a6dd451872c6
  c73afb32
- changed pc-rel memory addresses to use x86_r_ip as the base reg · 4ddfe45a
  jdh8d authored 9 years ago
  
  Former-commit-id: b1af324dad657e68a639ec75321cfc16cf2bbf6a
  4ddfe45a
- added insn.length to GetAddr() for pc-relative memory operands. · bc3e43a9
  jdh8d authored 9 years ago
  
  Former-commit-id: 4dd088e850bb208c66bbe1f06c49761791c69926
  bc3e43a9
Jan 29, 2016
- Handle recursive fixed calls stack delta computations. · 5d3ac619
  clc5q authored 9 years ago
  
  Former-commit-id: 4b25952a75895cb9fac19564035677020dda5db3
  5d3ac619
Jan 28, 2016
- Detect corner cases of fixed-call pushes and jumps. · feeebee4
  clc5q authored 9 years ago
  
  Former-commit-id: 7f9438be1b6f30b65e944974d3309f927d4fd625
  feeebee4
- Fix problems with operand printing in annotations and PC-relative 64-bit operands. · fff7ed84
  clc5q authored 9 years ago
  
  Former-commit-id: e54c0844f92141025b820c2d7ea9bb6b2453307a
  fff7ed84
Jan 22, 2016
- Clean up handling of no-ops. · 998a7938
  clc5q authored 9 years ago
  
  Former-commit-id: 790c5f55fbd87430d349dbb6094fa2ca35f1aa4c
  998a7938
Jan 21, 2016
- Detect recursive fixed calls. · bd9ace9f
  clc5q authored 9 years ago
  
  Former-commit-id: 94666d2282500664bbac52cdbfbd616c2ab4eb5b
  bd9ace9f
Jan 20, 2016

Set byte widths for reg operands created in the IRDB side. · d3380e26
clc5q authored 9 years ago
```
Former-commit-id: d26accdfaa210dc7e01fd9087c95319b85d16d07
```
d3380e26

Apply computed-goto pattern detection to functions just as it was applied to... · 9748eae3

clc5q authored 9 years ago

Apply computed-goto pattern detection to functions just as it was applied to orphaned code to emit IBT annotations.

Former-commit-id: a9d8aace7a5d1070e2741697a7a265883c22764d

9748eae3

Jan 19, 2016
- Mark IBTs as COMPLETE for indirect jumps that are resolved in orphan code. · 52be36bc
  clc5q authored 9 years ago
  
  Former-commit-id: c22a92a8493f865fa82f2e5ce9aa55ef4cf56fbc
  52be36bc
- Emit IBT annotations for computed-goto libc patterns in orphaned code. · 9dcbbd36
  clc5q authored 9 years ago
  
  Former-commit-id: 9a2372f0a277f47233171e5f82e6782c1663cb66
  9dcbbd36
- Emit IBT annotations for orphan instructions whose addresses are taken in data segments. · 7cc06dd7
  clc5q authored 9 years ago
  
  Former-commit-id: 2de3077fe971f2e28472bb50c61a94ec65523d90
  7cc06dd7
- Expand IBT annotations for hell node case of unreachable blocks linked to... · a6416237
  clc5q authored 9 years ago
  
  Expand IBT annotations for hell node case of unreachable blocks linked to unresolved indirect jumps; fix SMPInstr::Dump() for the marker instruction to avoid calls to IRDB/beaEngine. Former-commit-id: 38b401b99a8fd379bad975e4aa0b65d58bd3633f
  a6416237
Jan 18, 2016
- For STARS64 working on 32-bit binaries, read 32-bit code addresses from data... · 0b8ac583
  clc5q authored 9 years ago
  
  For STARS64 working on 32-bit binaries, read 32-bit code addresses from data segments rather than 64-bit code addresses. Former-commit-id: 0ffae69c7988fd189f37a004d0b52c4f1593f1ce
  0b8ac583
- Don't copy REX.R bit from REX prefix byte into memory operands specflag4 byte. · c39c6d59
  clc5q authored 9 years ago
  
  Former-commit-id: 5f4f03a8133f6cdcde2e41d86582d6b5a7eb0e23
  c39c6d59
Jan 17, 2016
- Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue... · a3b6b166
  clc5q authored 9 years ago
  
  Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue to improve function pointer shadowing. Former-commit-id: d00329fbdffe72415d2749bfd49c507bf4b2bdf2
  a3b6b166
- Fix precision on debugging output. · 2363e4d5
  clc5q authored 9 years ago
  
  Former-commit-id: 179206d733cf90174f4cd7de6f0d63ce72dae7b7
  2363e4d5
- Add debugging output for AnalyzeStackPointerDeltas(). · db548ffc
  clc5q authored 9 years ago
  
  Former-commit-id: 989e91b7eb2b735b37756bf7181a092a706467c8
  db548ffc
Jan 16, 2016
- Safeguard to avoid STARS IRDB assertion failures. · 05606346
  clc5q authored 9 years ago
  
  Former-commit-id: 9184a03fe9547df82eb5c4e069eeca5076f035b3
  05606346
- Safeguard CallTarget retrieval for resolved jump targets of fixed call jumps. · a5b41798
  clc5q authored 9 years ago
  
  Former-commit-id: 97ffa506797bc106909ab4187978b2188a865586
  a5b41798
Jan 15, 2016
- Improve propagation of CODEPTR type and expand analyses for function pointer shadowing. · 54dbf16d
  clc5q authored 9 years ago
  
  Former-commit-id: 87d90330c3f8deb29b9c0c298979da0f98d21260
  54dbf16d
Jan 12, 2016
- Be conservative in USE lists for calls or tail calls to linker stub functions... · ccd0f989
  clc5q authored 9 years ago
  
  Be conservative in USE lists for calls or tail calls to linker stub functions to ensure DEADREGS correctness. Former-commit-id: 0fc834a5652fc27b40a8e6b05124ce05e74b11b0
  ccd0f989
- Emit DEADREGS annotations for dead and redundant metadata instructions. · 1106e0f3
  clc5q authored 9 years ago
  
  Former-commit-id: c4a5d36d9518824cdd9dc24393a378037dc0f99d
  1106e0f3
- Iterate over fixing call inst DEFs and USEs by breaking AdvancedAnalysis() into three methods. · 8a43480d
  clc5q authored 9 years ago
  
  Former-commit-id: a0d91c6fe8b81ff340af985bd08d99224406d4cc
  8a43480d
Jan 11, 2016

Detect chains of tail calls that cause return to orphaned code. · 28f514ac
clc5q authored 9 years ago
```
Former-commit-id: dbfd0f99ba3a6c364d9a639af771b1b143470144
```
28f514ac

Detect potential multi-entry functions from code and data xrefs; avoid... · 678c1410

clc5q authored 9 years ago

Detect potential multi-entry functions from code and data xrefs; avoid COMPLETE return target STARSxrefs annotations for multi-entry functions.

Former-commit-id: 02ec8e8ed701d99884b8b444919265b134f8fe2b

678c1410

Jan 07, 2016
- Do not mark return targets as COMPLETE if func is called from orphaned code. · cd28df6e
  clc5q authored 9 years ago
  
  Former-commit-id: b8385e6b7c7d8007fd4fd7c9a1826e267a3ec270
  cd28df6e