Commits · 15adfb1b6add608c13b6b395cbfc8bd8da1fabf4 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jul 31, 2016
- Merge loop analysis work with CGC changes. · 15adfb1b
  clc5q authored 8 years ago
  15adfb1b
Jul 07, 2016
- Annotate unreachable blocks and conditional branches that are always taken or... · 19c58b91
  clc5q authored 8 years ago
  19c58b91
Jul 06, 2016
- Uninit var detection; output disabled until USEs on call instructions can be... · 9347fc54
  clc5q authored 8 years ago
  9347fc54
Jun 30, 2016
- fixed re-init problem · 408518c1
  an7s authored 8 years ago
  408518c1
Jun 24, 2016
- Update for STARS to run after selective_cfi. · 20c0bad7
  jdh8d authored 8 years ago
  20c0bad7
- Continue induction var analysis; loop speedup using block iteration instead of inst iteration. · be0cf119
  clc5q authored 8 years ago
  be0cf119
Jun 20, 2016
- DEADREGS for COMPLETE return instructions; continue induction variable ID work. · b84a79d5
  clc5q authored 8 years ago
  b84a79d5
Jun 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  e2168ff8
Jun 16, 2016
- Complete basic induction variable identification. · 267583bf
  clc5q authored 8 years ago
  267583bf
Jun 11, 2016
- Track loop invariant DEFs per-loop for use in induction variable analysis later. · 882f124d
  clc5q authored 8 years ago
  882f124d
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  391e2402
Jun 02, 2016
- Switch STARS_regnum_t to alias STARS_RegNo enum. · 3f15bb59
  clc5q authored 8 years ago
  3f15bb59
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  a8aa8cb6
Jun 01, 2016
- Use memcpy for union-of-structs copy in clone method. · 23503349
  clc5q authored 8 years ago
  23503349
- Fix less-than operator for IRDB operands. · 15b9fd92
  clc5q authored 8 years ago
  15b9fd92
- Add missing data member to deep copy. · 192702b1
  clc5q authored 8 years ago
  192702b1
May 30, 2016
- Fix IRDB problems discovered on libc. · 08361a4c
  clc5q authored 8 years ago
  08361a4c
May 27, 2016
- Identify thunk functions, fix FindPreservedRegs error on funcs with multiple return points. · f6beb38a
  clc5q authored 8 years ago
  f6beb38a
May 26, 2016
- Fix X86.Memory Input and In_Out across loop spans. · 14e8a161
  clc5q authored 8 years ago
  14e8a161
- Fix SPARK translation of loops into procedures. · 676b83ca
  clc5q authored 8 years ago
  676b83ca
May 16, 2016
- Eliminate false MultiEntry claim for funcs with code addresses taken in switch tables. · 4e4576e8
  clc5q authored 8 years ago
  4e4576e8
- Write safety analysis, results not yet used. · d1a549b5
  clc5q authored 8 years ago
  d1a549b5
May 15, 2016
- Infrastructure work for memory write safety analysis. · 678706aa
  clc5q authored 8 years ago
  678706aa
May 13, 2016
- DEADREGS work; handle local names of other blocks that are not referenced in... · 1c63b5a4
  clc5q authored 8 years ago
  1c63b5a4
May 11, 2016
- Fix typo. · cfd29562
  clc5q authored 8 years ago
  cfd29562
- Clean up multiply and divide RTL construction, handling IDA and IRDB operand lists equally. · fe4baa48
  clc5q authored 8 years ago
  fe4baa48
May 10, 2016
- Add opcode alias to match beaEngine capitalization for prefetchnta == prefetchNTA. · e452c77c
  clc5q authored 8 years ago
  e452c77c
- Add new AVX registers from IDA Pro 5.9. · a125b05e
  clc5q authored 8 years ago
  a125b05e
- Fix initialization order in constructor. · fb866775
  clc5q authored 8 years ago
  fb866775
May 09, 2016
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  abbe4be2
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  a6898738
May 05, 2016
- Implement HasSegReg() method. · 62f4fcdc
  clc5q authored 8 years ago
  62f4fcdc
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  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
  3eced7be
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 9 years ago
  6f6293e2
Mar 20, 2016
- Save memory in SMPInstr. · db084726
  clc5q authored 9 years ago
  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
  83a85828
- Speedup on large functions. · d79a1ca1
  clc5q authored 9 years ago
  d79a1ca1
Mar 17, 2016
- Gather stats on return address set completeness and incompleteness. · cc54a1ae
  clc5q authored 9 years ago
  cc54a1ae
Mar 14, 2016
- Make void operands common within each instruction to save memory. · 0db51d41
  clc5q authored 9 years ago
  0db51d41