Commits · 4b4fdc0f66dd8180b2559d6fb67967f227f4ada6 · Open Source Software / SMPStaticAnalyzer

May 16, 2016
- 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
- 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
- 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
- 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
- Handle AVX_REG type. · a509ef19
  clc5q authored 8 years ago
  
  Former-commit-id: 585ba7bf7e3e034a1ff038bb7b530c1a4dc8879c
  a509ef19
- Fix initialization order in constructor. · fb866775
  clc5q authored 8 years ago
  
  Former-commit-id: 1caad5309e35d2860b859a83f12ebc5a0174848f
  fb866775
- 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
- Fix GetByteWidth() when register operands have subword suffixes such as r12b, r13w, r14d. · f15cfdf0
  clc5q authored 8 years ago
  
  Former-commit-id: 5ee506198fa843177238bffa31f6b158cfba6826
  f15cfdf0
- Generalize EIP/CS-relative addressing detection. · 9863153c
  clc5q authored 8 years ago
  
  Former-commit-id: ae71cb99dc35fe490ef711cc1fc439041c7df21d
  9863153c
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  
  Former-commit-id: dbf2b29d58b90b5b0151498a8f3bbbd8b25eb9de
  a6898738
- Annotation diffs from previous DEADREGS fix for indirect calls. · cf4c55bb
  clc5q authored 8 years ago
  
  Former-commit-id: 18b332a41eea526807e38bd1eeb0d69236b231dd
  cf4c55bb
- Make conservative USE lists for callee-saved regs apply properly to indirect calls. · 9ae7f241
  clc5q authored 8 years ago
  
  Former-commit-id: 825306b2b4d800a5dfdaccc743c55049d74898b3
  9ae7f241
May 05, 2016
- Perform tests in correct order in IsGlobalRegRead(). · 65812a64
  clc5q authored 8 years ago
  
  Former-commit-id: d26182dd47b81394d5230734059423b04b600673
  65812a64
- Generalize DEADREGS pass-through case for callee-saved regs. · 4e5e39bc
  clc5q authored 8 years ago
  
  Former-commit-id: 9c6eeb034848931a763938bd91d9e826384f9302
  4e5e39bc
- Handle EIP-relative operands in their IRDB form. · e9a3726b
  clc5q authored 8 years ago
  
  Former-commit-id: ff0deac7b3f67757e3c64a2085c003614abe082e
  e9a3726b
- Avoid tracing StaticMemOp types when analyzing memory write safeness. · 61c5e14b
  clc5q authored 8 years ago
  
  Former-commit-id: 037d229ac75a6a67a83e726b445871f3f443c9f9
  61c5e14b
- 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
- 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