Commits · 50afd7779c9be3bee5f629bba589e25f390f8239 · Open Source Software / SMPStaticAnalyzer

Jun 16, 2016
- Complete basic induction variable identification. · 267583bf
  clc5q authored 8 years ago
  
  Former-commit-id: 382bb9d926889e9149f846768f7153f6f59d4e61
  267583bf
Jun 11, 2016
- Track loop invariant DEFs per-loop for use in induction variable analysis later. · 882f124d
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea21fe54bf514c9f4f8df66e7789c2468382948
  882f124d
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  
  Former-commit-id: 47766c4779b8f10f71864fdb9a31b46f6e7b5937
  391e2402
Jun 02, 2016
- Switch STARS_regnum_t to alias STARS_RegNo enum. · 3f15bb59
  clc5q authored 8 years ago
  
  Former-commit-id: 0572c54541daf20f03f146c634e5d4e25322f400
  3f15bb59
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea425775063029c03ef44b2dea299e8eae66e09
  a8aa8cb6
Jun 01, 2016
- Use memcpy for union-of-structs copy in clone method. · 23503349
  clc5q authored 8 years ago
  
  Former-commit-id: a278286a0d971337e3f6d2aeacb748e1a02da883
  23503349
- Fix less-than operator for IRDB operands. · 15b9fd92
  clc5q authored 8 years ago
  
  Former-commit-id: 7a2045b27ae6d8a31ecde5e0d3d4a8c3feae4c99
  15b9fd92
- Add missing data member to deep copy. · 192702b1
  clc5q authored 8 years ago
  
  Former-commit-id: cbf3b8a3f951ae5902b73706a64e558bc281115f
  192702b1
May 30, 2016
- Fix IRDB problems discovered on libc. · 08361a4c
  clc5q authored 8 years ago
  
  Former-commit-id: ba96641d6ab13ab55806201b2486e6650b391953
  08361a4c
May 27, 2016
- Identify thunk functions, fix FindPreservedRegs error on funcs with multiple return points. · f6beb38a
  clc5q authored 8 years ago
  
  Former-commit-id: c73efcaa47cb22e6f35a4c1467d89afa79b553b6
  f6beb38a
May 26, 2016
- Fix X86.Memory Input and In_Out across loop spans. · 14e8a161
  clc5q authored 8 years ago
  
  Former-commit-id: 6838048aea9ad908f2c9920a8b64b060d84feedc
  14e8a161
- Fix SPARK translation of loops into procedures. · 676b83ca
  clc5q authored 8 years ago
  
  Former-commit-id: ad2d573a33284625e0faf9994aaa755bb78b9383
  676b83ca
May 16, 2016
- Eliminate false MultiEntry claim for funcs with code addresses taken in switch tables. · 4e4576e8
  clc5q authored 8 years ago
  
  Former-commit-id: 1c9088bb86dc75f8636badd23b89fc07808da015
  4e4576e8
- Write safety analysis, results not yet used. · d1a549b5
  clc5q authored 8 years ago
  
  Former-commit-id: d941f55460e83bb9aaf29a52c6c975b774df639c
  d1a549b5
May 15, 2016
- Infrastructure work for memory write safety analysis. · 678706aa
  clc5q authored 8 years ago
  
  Former-commit-id: a1090c71703d11392fa3fc22e72098040b23166b
  678706aa
May 13, 2016

DEADREGS work; handle local names of other blocks that are not referenced in... · 1c63b5a4

clc5q authored 8 years ago

DEADREGS work; handle local names of other blocks that are not referenced in current block, convert nops from data back to code when following a CALL.

Former-commit-id: 3c39474ea207d5cbc18dbbedf7685cf0f7ac779d

1c63b5a4

May 11, 2016
- Fix typo. · cfd29562
  clc5q authored 8 years ago
  
  Former-commit-id: 4cfebd7845b096b1330f88df39a34723e03e73ac
  cfd29562
- Clean up multiply and divide RTL construction, handling IDA and IRDB operand lists equally. · fe4baa48
  clc5q authored 8 years ago
  
  Former-commit-id: 0d1ccce9d7da5438e05c9ede5732bef521e22cc3
  fe4baa48
May 10, 2016
- Add opcode alias to match beaEngine capitalization for prefetchnta == prefetchNTA. · e452c77c
  clc5q authored 8 years ago
  
  Former-commit-id: 9eea98b3542c489d47144b5a659f38313252c0a6
  e452c77c
- Add new AVX registers from IDA Pro 5.9. · a125b05e
  clc5q authored 8 years ago
  
  Former-commit-id: 4cdb4407343f27d99985c4bd0eda7c6974ce7962
  a125b05e
- Fix initialization order in constructor. · fb866775
  clc5q authored 8 years ago
  
  Former-commit-id: 1caad5309e35d2860b859a83f12ebc5a0174848f
  fb866775
May 09, 2016
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  
  Former-commit-id: 509582bcccac0d0756f6a014b10b77910a11cf54
  abbe4be2
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  
  Former-commit-id: dbf2b29d58b90b5b0151498a8f3bbbd8b25eb9de
  a6898738
May 05, 2016
- Implement HasSegReg() method. · 62f4fcdc
  clc5q authored 8 years ago
  
  Former-commit-id: 99d63b7a6f1274d935725e3f7a1f70ba3d36479b
  62f4fcdc
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  
  Former-commit-id: 46b7504afd4116e9c7e1a66a2df28efbeb8457b6
  edf0b91d
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
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 8 years ago
  
  Former-commit-id: 8529eabf9b6e66c5896ad0f3d59d70ea9b3c9533
  6f6293e2
Mar 20, 2016
- Save memory in SMPInstr. · db084726
  clc5q authored 9 years ago
  
  Former-commit-id: 1d2351495d15d5ffe1ff4717287720eb99cedda7
  db084726
Mar 19, 2016

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

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
- SPARK: Emit flag defs for add and sub opcodes. · 3e7aac26
  clc5q authored 9 years ago
  
  Former-commit-id: eb4f41da3cc9e91cb2f931dcd68558865c48af52
  3e7aac26
Feb 23, 2016
- 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 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