Commits · 9300f26d0b478fc7c9660239d1e53bf2c9c1fa80 · Open Source Software / SMPStaticAnalyzer

Nov 21, 2014
- Continue SCCP work. · 9300f26d
  clc5q authored 10 years ago
  
  9300f26d
Nov 19, 2014
- Fix removal of unreachable blocks. · 8b6d5116
  clc5q authored 10 years ago
  
  8b6d5116
- Remove blocks with call 0 instructions; re-compute SSA after removal. · f60c5b75
  clc5q authored 10 years ago
  
  f60c5b75
Nov 18, 2014

Start work on removing dead blocks with call 0 instructions; move SCCP... · 80a0cbdc

clc5q authored 10 years ago

Start work on removing dead blocks with call 0 instructions; move SCCP analysis to earlier phase right after SSA construction.

80a0cbdc

Nov 14, 2014
- Fine-tune WritesAboveLocalFrame. · 8990db8e
  clc5q authored 10 years ago
  
  8990db8e
- Output correct statistics to log file for funcs that are unsafe solely due to their callees. · 8dfd0d22
  clc5q authored 10 years ago
  
  8dfd0d22
Nov 13, 2014
- Keep SpecFuncSafe in sync with FuncSafe; only affects mmStrata MMSAFENESS annotations. · ca20be3a
  clc5q authored 10 years ago
  
  ca20be3a
- Stack access DU-chain safety should not require safe callees, unlike return addr safety. · 318d33ea
  clc5q authored 10 years ago
  
  318d33ea
Nov 12, 2014
- Declare stack ptr copies safe if copy DEF does not reach a memory write. · 51191f57
  clc5q authored 10 years ago
  
  51191f57
Nov 11, 2014
- Code cleanup; prep for increased precision in safe stack ptr copy analysis. · 12d263c6
  clc5q authored 10 years ago
  
  12d263c6
Nov 09, 2014
- Gather stats on metadata and indirect jumps. · ed886771
  clc5q authored 10 years ago
  
  ed886771
Nov 08, 2014
- Implement precise analysis for unsafe callees due to writes above the local frame. · a2b6e232
  clc5q authored 10 years ago
  
  a2b6e232
Nov 07, 2014
- Begin work to increase safe func precision, starting with WritesAboveLocalFrame conservatism. · affc97bd
  clc5q authored 10 years ago
  
  affc97bd
Nov 06, 2014
- Expand type inference from standard library functions to include POINTER args. · f64d9545
  clc5q authored 10 years ago
  
  f64d9545
Oct 27, 2014
- IDIOM 3: signed imul does not have signed operands, so discarding upper bits... · 234bb850
  clc5q authored 10 years ago
  
  IDIOM 3: signed imul does not have signed operands, so discarding upper bits is not analyzeable as a C1 problem.
  234bb850
- Improve the precision of critical sink blacklisting of C1 annotations. · 111c5494
  clc5q authored 10 years ago
  
  111c5494
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