Commits · 20c0bad7dbfe7036171d8532b3614262df09c61f · Open Source Software / SMPStaticAnalyzer

Jun 24, 2016
- Update for STARS to run after selective_cfi. · 20c0bad7
  jdh8d authored 8 years ago
  
  Former-commit-id: c236f1e4e4b2022ed6fe578c48885549444ece9e
  20c0bad7
- Emit DEADREGS in SMPInstr::EmitTypeAnnotations() for all instructions. · 2dcef65c
  clc5q authored 8 years ago
  
  Former-commit-id: c1b3fca1058c5be8271ee93b3f1a931a0200fa14
  2dcef65c
- Continue induction var analysis; loop speedup using block iteration instead of inst iteration. · be0cf119
  clc5q authored 8 years ago
  
  Former-commit-id: 958beced9a9a499140d5c8c94cb635d20a2dd2ec
  be0cf119
Jun 20, 2016
- DEADREGS for COMPLETE return instructions; continue induction variable ID work. · b84a79d5
  clc5q authored 8 years ago
  
  Former-commit-id: 2bfa037e6932f45419d2e3fbbf3fb98ff952a758
  b84a79d5
Jun 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  
  Former-commit-id: 15bc586102fa82c3e9ab32d35060048617904420
  e2168ff8
Jun 16, 2016

Fix assertion; treat syscalls as NOT being unresolved indirect calls to help... · 50afd777

clc5q authored 8 years ago

Fix assertion; treat syscalls as NOT being unresolved indirect calls to help CGC (quick and dirty fix).

Former-commit-id: a1691d6302f7dcea1b172a27570ac0da0e19894a

50afd777

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 08, 2016
- Continue improving SPARK translation. · 5c65f20b
  clc5q authored 8 years ago
  
  Former-commit-id: 1e0f9f99958710fcb87b5c985e6a47733d7ad03c
  5c65f20b
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  
  Former-commit-id: 47766c4779b8f10f71864fdb9a31b46f6e7b5937
  391e2402
Jun 02, 2016
- Fix SetSIB() to preserve fourth bit of index reg number. · f399f6f2
  clc5q authored 8 years ago
  
  Former-commit-id: ce96d3470ad8473e1253540d0abea23181f88919
  f399f6f2
- 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
- Fix less-than operator for IRDB operands. · 15b9fd92
  clc5q authored 8 years ago
  
  Former-commit-id: 7a2045b27ae6d8a31ecde5e0d3d4a8c3feae4c99
  15b9fd92
May 30, 2016
- Map inst mnemonics from bea to IDA for prefetch opcodes. · 4d96cfca
  clc5q authored 8 years ago
  
  Former-commit-id: 8bd4b02d5e786e0426ba5a7aca60a0208e3de931
  4d96cfca
- Fix bea_regno value in switch again. · 21643dfb
  clc5q authored 8 years ago
  
  Former-commit-id: e0713ae7d6ac2f1ce9110f65596af7a578937e66
  21643dfb
- Fix bea_regno value in switch again. · 65a6c1b7
  clc5q authored 8 years ago
  
  Former-commit-id: 6589dbcf6f01ea1f2f9348b0b65058edbcbf6a7b
  65a6c1b7
- Fix beaEngine register names. · 10b02caa
  clc5q authored 8 years ago
  
  Former-commit-id: 6e825c69e067cc594a54fe9844686faefdb5975d
  10b02caa
- Fix IRDB problems discovered on libc. · 08361a4c
  clc5q authored 8 years ago
  
  Former-commit-id: ba96641d6ab13ab55806201b2486e6650b391953
  08361a4c
May 28, 2016
- Ultra-conservative DEADREGS at call sites. · 9fa6272c
  clc5q authored 8 years ago
  
  Former-commit-id: 6c6130696cd9b95a6bb982216e3c78f418a25769
  9fa6272c
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
- Continue SPARK translation improvements. · c1f98078
  clc5q authored 8 years ago
  
  Former-commit-id: c39182ce1e5eb5456b4f62f1f31f5192d2d45327
  c1f98078
- 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 24, 2016
- Add options to skip analyses and speed up STARS for CGC and other projects. · 19f7a375
  clc5q authored 8 years ago
  
  Former-commit-id: f0c6fb470a97adfd9c45c1ff29fba7e9e21a857e
  19f7a375
May 17, 2016
- Improve safe mem write analysis and safe function analysis. · 510a08ea
  clc5q authored 8 years ago
  
  Former-commit-id: 3fa925ae48c3719e95712fd2c574ed2ee7beb073
  510a08ea
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
- Add INFO log when function address is taken. · 4b4fdc0f
  clc5q authored 8 years ago
  
  Former-commit-id: 3a0a2d0e9eaaa3c85708060157c96b67254264cf
  4b4fdc0f
- 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
- Convert USE reg from EAX+EDX to just EAX for div, idiv, and mul opcodes when... · 31312619
  clc5q authored 8 years ago
  
  Convert USE reg from EAX+EDX to just EAX for div, idiv, and mul opcodes when initializing operands from BeaEngine operands. Former-commit-id: 54beef30ac938c04de50539ba291faa96a097924
  31312619
- 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
- Replace container at() methods with [] preceded by loop-invariant assertions to check ranges. · 8a2eba5f
  clc5q authored 8 years ago
  
  Former-commit-id: 889a0f68a059519d3ac637eb1357143a061707da
  8a2eba5f
- Rename beaEngine opcode prefetchNTA to prefetchnta to match IDA Pro. · 740c14df
  clc5q authored 8 years ago
  
  Former-commit-id: 7922c6283b98cc8ea951acd01881396576a65b95
  740c14df
- Handle AVX_REG type. · a509ef19
  clc5q authored 8 years ago
  
  Former-commit-id: 585ba7bf7e3e034a1ff038bb7b530c1a4dc8879c
  a509ef19
- Handle opcodes that set, clear, or complement bits in the EFLAGS register in STARS_GetCmd(). · e4c1acfe
  clc5q authored 8 years ago
  
  Former-commit-id: d10ef5b4cee57262edf2a450a8a53c71753fe798
  e4c1acfe
May 09, 2016
- Comment out SCCP to save time until it is used for annotations. · cf626a37
  clc5q authored 8 years ago
  
  Former-commit-id: 51582131289cd92c619931cdcdb6149132f76c48
  cf626a37
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  
  Former-commit-id: 509582bcccac0d0756f6a014b10b77910a11cf54
  abbe4be2
May 07, 2016

Handle stupid beaEngine r14B register the same as r14b because those bozos... · ba7d9d04

clc5q authored 8 years ago

Handle stupid beaEngine r14B register the same as r14b because those bozos have an alias just for r14b. Fix case fall-through in SegReg initialization.

Former-commit-id: eb3f8ee6ba621f38f5408539e85302b26dcba8da

ba7d9d04