Commits · 5c65f20bf1c283f0c0dd7a114d737da72ad55c5d · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jun 08, 2016
- Continue improving SPARK translation. · 5c65f20b
  clc5q authored 8 years ago
  5c65f20b
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  391e2402
Jun 02, 2016
- Fix SetSIB() to preserve fourth bit of index reg number. · f399f6f2
  clc5q authored 8 years ago
  f399f6f2
- 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
- Map inst mnemonics from bea to IDA for prefetch opcodes. · 4d96cfca
  clc5q authored 8 years ago
  4d96cfca
- Fix bea_regno value in switch again. · 21643dfb
  clc5q authored 8 years ago
  21643dfb
- Fix bea_regno value in switch again. · 65a6c1b7
  clc5q authored 8 years ago
  65a6c1b7
- Fix beaEngine register names. · 10b02caa
  clc5q authored 8 years ago
  10b02caa
- Fix IRDB problems discovered on libc. · 08361a4c
  clc5q authored 8 years ago
  08361a4c
May 28, 2016
- Ultra-conservative DEADREGS at call sites. · 9fa6272c
  clc5q authored 8 years ago
  9fa6272c
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
- Continue SPARK translation improvements. · c1f98078
  clc5q authored 8 years ago
  c1f98078
- 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 25, 2016
- Missing FUNC SAFE annotation diffs from MultiEntry fix. · 15639ff6
  clc5q authored 8 years ago
  15639ff6
May 24, 2016
- Add options to skip analyses and speed up STARS for CGC and other projects. · 19f7a375
  clc5q authored 8 years ago
  19f7a375
May 17, 2016
- Improve safe mem write analysis and safe function analysis. · 510a08ea
  clc5q authored 8 years ago
  510a08ea
May 16, 2016
- Eliminate false MultiEntry claim for funcs with code addresses taken in switch tables. · 4e4576e8
  clc5q authored 8 years ago
  4e4576e8
- Add INFO log when function address is taken. · 4b4fdc0f
  clc5q authored 8 years ago
  4b4fdc0f
- 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
- Convert USE reg from EAX+EDX to just EAX for div, idiv, and mul opcodes when... · 31312619
  clc5q authored 8 years ago
  31312619
- 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
- Replace container at() methods with [] preceded by loop-invariant assertions to check ranges. · 8a2eba5f
  clc5q authored 8 years ago
  8a2eba5f
- Rename beaEngine opcode prefetchNTA to prefetchnta to match IDA Pro. · 740c14df
  clc5q authored 8 years ago
  740c14df
- 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
- Handle AVX_REG type. · a509ef19
  clc5q authored 8 years ago
  a509ef19
- Fix initialization order in constructor. · fb866775
  clc5q authored 8 years ago
  fb866775
- Handle opcodes that set, clear, or complement bits in the EFLAGS register in STARS_GetCmd(). · e4c1acfe
  clc5q authored 8 years ago
  e4c1acfe
May 09, 2016
- Comment out SCCP to save time until it is used for annotations. · cf626a37
  clc5q authored 8 years ago
  cf626a37
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  abbe4be2
May 07, 2016
- Handle stupid beaEngine r14B register the same as r14b because those bozos... · ba7d9d04
  clc5q authored 8 years ago
  ba7d9d04
- Fix GetByteWidth() when register operands have subword suffixes such as r12b, r13w, r14d. · f15cfdf0
  clc5q authored 8 years ago
  f15cfdf0