Commits · 6f5392ac4e281b2d273e73fd3dc3ef0a5ee40a65 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Oct 26, 2014
- New IDIOM 32: lea inst with any special ultimate source for any USE operand. · 6f5392ac
  clc5q authored 10 years ago
  
  6f5392ac
Oct 24, 2014
- Fix coding error introduced in refactoring for blacklisting (enable more IDIOM 18 annotations). · e39d725f
  clc5q authored 10 years ago
  
  e39d725f
- Expand IDIOM 9 into IDIOM 31: Optimized range check, benign underflow. · 83318981
  clc5q authored 10 years ago
  
  83318981
Oct 23, 2014
- Only instrument numeric error check for blacklisted (important) sinks. · b026995a
  clc5q authored 10 years ago
  
  b026995a
Oct 22, 2014
- Find calls to cxa_throw and not just its body; close eh_frame_addrs file. · 732c5532
  clc5q authored 10 years ago
  
  732c5532
Oct 21, 2014
- Process *.eh_frame_addrs file. · 7f17c255
  clc5q authored 10 years ago
  
  7f17c255
- Fixing if then statement. · 1ef334a8
  mc2zk authored 10 years ago
  
  1ef334a8
Oct 20, 2014
- fixed typos in add_ifunc_attr line · 7e02fe70
  jdh8d authored 10 years ago
  
  7e02fe70
- Loop opcode does not DEF flags; bug fix. · 2df3b2b2
  clc5q authored 10 years ago
  
  2df3b2b2
Oct 16, 2014
- Declare functions unsafe for fast returns if they are multi-entry or have... · d0f7cde1
  clc5q authored 10 years ago
  
  Declare functions unsafe for fast returns if they are multi-entry or have unresolved indirect branches.
  d0f7cde1
Oct 15, 2014
- Reduce memory consumption for wireshark and other huge binaries; clean up code. · a5dea8bc
  clc5q authored 10 years ago
  
  a5dea8bc
Oct 14, 2014
- Correctly identify leaf functions and tail calls. · 688b32f6
  clc5q authored 10 years ago
  
  688b32f6
- Enable fast returns when the only problem is return address safety questions from memory writes. · 03181417
  clc5q authored 10 years ago
  
  03181417
Oct 13, 2014
- Find data to code xrefs and mark functions unsafe for fast returns. · ba4703ca
  clc5q authored 10 years ago
  
  ba4703ca
- Continue SPARK Ada translation. · 189fd3c1
  clc5q authored 10 years ago
  
  189fd3c1
Oct 03, 2014
- Fix ancient MEDS type propagation imprecision. · 7fde33a7
  clc5q authored 10 years ago
  
  7fde33a7
- IDIOM 30: Truncations of POINTER types. · 1291df3f
  clc5q authored 10 years ago
  
  1291df3f
Oct 02, 2014
- Expand IDIOM 29 from decrements to small constant subtractions. · 6bc0f81a
  clc5q authored 10 years ago
  
  6bc0f81a
- Detect decrement RTLs, not just opcodes; IDIOM 29 for decrement of zero-extended byte. · 58470146
  clc5q authored 10 years ago
  
  58470146
Oct 01, 2014
- Expand definition of hashing operation to include all rotate opcodes. · 9d01a48b
  clc5q authored 10 years ago
  
  9d01a48b
- Extend IDIOM 18 to USEs of POINTER types in lea instructions. · 04156d5d
  clc5q authored 10 years ago
  
  04156d5d
- Fix MEDS type inference on stdlib return registers. · 9fe0d4bd
  clc5q authored 10 years ago
  
  9fe0d4bd
- Improve interprocedural type propagation by adding missing call to ResetProcessedBlock(). · 8b0ae5bd
  clc5q authored 10 years ago
  
  8b0ae5bd
Sep 30, 2014
- Infer and propagate MEDS NUMERIC and POINTER types for stdlib return value registers. · 6e360378
  clc5q authored 10 years ago
  
  6e360378
- Propagate MEDS stack location types until indirect writes are seen; increases IDIOMs 18 and 19. · 961650e8
  clc5q authored 10 years ago
  
  961650e8
Sep 27, 2014
- Handle tail call detection on Dealloc instruction; corner case. · 657c4a21
  clc5q authored 10 years ago
  
  657c4a21
Sep 25, 2014
- Handle fast return suppression on tail call cases. · e53dc758
  clc5q authored 10 years ago
  
  e53dc758
Sep 24, 2014
- Add IDIOM 28 for subword arithmetic from previous full-word arithmetic results. · d82f27a0
  clc5q authored 10 years ago
  
  d82f27a0
Sep 23, 2014

Emit basic annotations and STARScallreturn annotations for unreachable,... · feef6bb4

clc5q authored 10 years ago

Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

feef6bb4

Sep 19, 2014
- Bug 192: Work on subversion false positives. Expand IDIOM 14, add truncation idiom 27. · 9f8f5f06
  clc5q authored 10 years ago
  
  9f8f5f06
Sep 17, 2014
- Continue SPARK Ada translation. · 03d73152
  clc5q authored 10 years ago
  
  03d73152
Sep 03, 2014
- Prevent deletion of SSA marker instructions. · 20af2488
  clc5q authored 10 years ago
  
  20af2488
- Phase reordering to prepare for further analyses of return address safety. · c6bb022a
  clc5q authored 10 years ago
  
  c6bb022a
Sep 02, 2014
- Emit SPARK Ada loops. · 2acc7d16
  clc5q authored 10 years ago
  
  2acc7d16
Aug 30, 2014
- Emit diagnostic to log for funcs UNSAFE only because of callees. · d6ceb075
  clc5q authored 10 years ago
  
  d6ceb075
Aug 29, 2014
- Emit *.STARScallreturn file with info about fast returns and return address safety. · dd7c0baa
  clc5q authored 10 years ago
  
  dd7c0baa
Aug 26, 2014
- Added code to add ifunc attribute · 40a93b15
  jdh8d authored 10 years ago
  
  40a93b15
Aug 25, 2014
- Control indentation in SPARK Ada translation. · 54c16881
  clc5q authored 10 years ago
  
  54c16881
Aug 21, 2014
- Continue SPARK translation; fix libc assertion on syscall. · 430f1a1c
  clc5q authored 10 years ago
  
  430f1a1c
Aug 13, 2014
- Implement reduced analysis for huge binaries. · 4a747b1d
  clc5q authored 10 years ago
  
  4a747b1d