Commits · 3eced7be1bd459828c2188159f233481035ffae9 · Open Source Software / SMPStaticAnalyzer

May 03, 2016
- DEADREGS fix: Allow callee-saved regs to pass through a func without being declared dead. · 3eced7be
  clc5q authored 8 years ago
  
  Former-commit-id: 407f83826ef32a971e3967da525af72adcf71b50
  3eced7be
- Use environment var for file name to work around IDA Pro failure on Red Hat Linux. · 0e151ffd
  clc5q authored 8 years ago
  
  Former-commit-id: b0855f157650c015ee2d810b89c867efc0e04fc5
  0e151ffd
- Avoid crash when tracing truncations back to SSA marker instructions when... · bdcc1b59
  clc5q authored 8 years ago
  
  Avoid crash when tracing truncations back to SSA marker instructions when looking to trace back to add or subtract instructions. Former-commit-id: 80adc76562de0430c84bc59273307be06677e6dd
  bdcc1b59
- Avoid crash on COND_BRANCH fall-through outside func. · a5b07121
  clc5q authored 8 years ago
  
  Former-commit-id: 387105884e6c16978bb989fc0f9339dbbb533095
  a5b07121
- Create SPARK Ada procedures for each loop. · c3e0fb68
  clc5q authored 8 years ago
  
  Former-commit-id: a38e35417ef72421f6c9997d1f76191d5a8b1499
  c3e0fb68
Apr 19, 2016
- unset LANG to prevent ida crash · 12b01731
  an7s authored 8 years ago
  
  Former-commit-id: 3b8914059bdeec247106309e7c94a9461c1a83a1
  12b01731
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 8 years ago
  
  Former-commit-id: 8529eabf9b6e66c5896ad0f3d59d70ea9b3c9533
  6f6293e2
Mar 21, 2016

Reduce memory; handle huge SSA numbers; add assertions; alter code size limit... · ed7639ca

clc5q authored 9 years ago

Reduce memory; handle huge SSA numbers; add assertions; alter code size limit for 64-bit reduced processing.

Former-commit-id: 1b6cdbbd773d22eb7c3511cff5b9b656ff90d3e5

ed7639ca

Mar 20, 2016
- Save memory in SMPInstr. · db084726
  clc5q authored 9 years ago
  
  Former-commit-id: 1d2351495d15d5ffe1ff4717287720eb99cedda7
  db084726
Mar 19, 2016
- Reduce alignment requirement from 4 bytes to 2 for code address search in data sections. · 93e3d802
  clc5q authored 9 years ago
  
  Former-commit-id: a915d00f9bdd52e9adb059befb9055bcf253952a
  93e3d802
- Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit... · 83a85828
  clc5q authored 9 years ago
  
  Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit data sections; mark IBT as COMPLETE when SCCP resolves indirect call target. Former-commit-id: 106ed98c01ab85f7eddf4f01455de27193dafcac
  83a85828
- SCCP: Return lattice bottom value for guarded RTLs, as with conditional moves. · c3b7604f
  clc5q authored 9 years ago
  
  Former-commit-id: 0f384d2cd0d8f15bba94cb573605b307581c908f
  c3b7604f
- Speedup on large functions. · d79a1ca1
  clc5q authored 9 years ago
  
  Former-commit-id: c5edffb1ff109743af2c2e4c984b993e0c3496da
  d79a1ca1
Mar 17, 2016
- Gather stats on return address set completeness and incompleteness. · cc54a1ae
  clc5q authored 9 years ago
  
  Former-commit-id: 15aad6668afb27d67cc8b0017165156f19cff40b
  cc54a1ae
Mar 14, 2016
- Make void operands common within each instruction to save memory. · 0db51d41
  clc5q authored 9 years ago
  
  Former-commit-id: 0fe860a4f43af118055c3394b0d2d518dc6f4f21
  0db51d41
- Reduce memory in SMPInstr by getting address from INST_ID instead of caching it separately. · b05e801b
  clc5q authored 9 years ago
  
  Former-commit-id: 3ea7d5c448e3bf00c9fcad06851c774a59c7fd5d
  b05e801b
- SPARK Ada improvements. · 6dc9bfdb
  clc5q authored 9 years ago
  
  Former-commit-id: 98bafdff23b79c34c690cb534c5517e79a9f4771
  6dc9bfdb
Mar 01, 2016
- Gather stats on function pointer shadowing. · 3daa2afe
  clc5q authored 9 years ago
  
  Former-commit-id: 5e72a34ef34d329ebd0aef42e8be68da22a4d459
  3daa2afe
Feb 28, 2016
- · b4f9c4d9
  jdh8d authored 9 years ago
  
  Former-commit-id: 289869fea211a72222a2ea8e2cc5a7554988a78a
  b4f9c4d9
- SPARK: Emit flag defs for add and sub opcodes. · 3e7aac26
  clc5q authored 9 years ago
  
  Former-commit-id: eb4f41da3cc9e91cb2f931dcd68558865c48af52
  3e7aac26
Feb 24, 2016

Corrections to CODEPTR type inference; avoid trying to shadow [ESP-k] entries... · ae4b47df

clc5q authored 9 years ago

Corrections to CODEPTR type inference; avoid trying to shadow [ESP-k] entries in the SSA marker inst.

Former-commit-id: 9afd2880bc6fb99302143ae6340fe566f33fbe2b

ae4b47df

Feb 23, 2016
- Improve CODEPTR propagation; improve function pointer shadowing analyses. · 9f170927
  clc5q authored 9 years ago
  
  Former-commit-id: 50f098445906c24569893f3a41ff48f84aa75104
  9f170927
- Improve function pointer shadowing analysis for the CODEPTR argument passing case. · 7acbbfaf
  clc5q authored 9 years ago
  
  Former-commit-id: 2f024cf5a76a36f7da08d98ab62026875f16ff2f
  7acbbfaf
Feb 22, 2016
- Begin using new SMPFunction::FindShadowingPoint2 method. · 6e97c806
  clc5q authored 9 years ago
  
  Former-commit-id: 677a1fd5e80131cc897f763437d42231b066f9da
  6e97c806
Feb 21, 2016
- Build a few new RTLs for AVX opcodes. · 8bed0cbb
  clc5q authored 9 years ago
  
  Former-commit-id: 2fb604dfd6728a3ee8ef97130391cc5e9c3a8f24
  8bed0cbb
Feb 18, 2016
- Build RTLs for odd opcodes; ensure robustness when RTLs are not built to avoid crashes. · 5437864b
  clc5q authored 9 years ago
  
  Former-commit-id: 1ad07f94b5256cd7e7863567248a097d5c260cf2
  5437864b
Feb 17, 2016
- Continue work on function pointer shadowing. · 13f113b6
  clc5q authored 9 years ago
  
  Former-commit-id: eb37bb73e8e600ba395e3190574a93cc28d2026d
  13f113b6
Feb 04, 2016
- Use new stack DEF map to speed up GetGlobalDefAddr(). · a410e685
  clc5q authored 9 years ago
  
  Former-commit-id: be29304c530d6812eb9985328d001b1d95649625
  a410e685
Feb 03, 2016
- Start mapping direct stack DEFs by SSA to instruction addresses. · 61426a99
  clc5q authored 9 years ago
  
  Former-commit-id: c9074f57f2304f0d89bb09f09fc97a356115b892
  61426a99
- Refine IBT annotations with reason codes. · 87525118
  clc5q authored 9 years ago
  
  Former-commit-id: 864cd696ee3979674a613dd79ce8aa0c86de74e4
  87525118
- Improve STARSxrefs annotations. · 0fa68463
  clc5q authored 9 years ago
  
  Former-commit-id: b8bd3fefcc0a412b141c6af8b340c5e73351fcea
  0fa68463
Feb 02, 2016
- Fix broken multi-line if-statement in macro. · 02a7ea7a
  clc5q authored 9 years ago
  
  Former-commit-id: 1a03dbd8f7d02dd25998a72400758f19abca722c
  02a7ea7a
- 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