Commits · fff950082577f24d71871ff83e919bb997283ce2 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Sep 06, 2013
- Replace MDIsStackAccessOpnd() with MDIsDirectStackAccessOpnd() where appropriate. · fff95008
  clc5q authored 11 years ago
  
  fff95008
Sep 03, 2013
- Speed up and improve precision of metadata liveness analysis. · b8a04199
  clc5q authored 11 years ago
  
  View commits for tag fast_metadata_02SEP2013 fast_metadata_02SEP2013
  
  b8a04199
Aug 21, 2013
- Eliminate DU chains and last dependencies on them. · ad0adacf
  clc5q authored 11 years ago
  
  View commits for tag remove_DU_chains_21AUG2013 remove_DU_chains_21AUG2013
  
  ad0adacf
Aug 20, 2013
- Fix FindPossibleChainAlias() while removing DU chain dependency. · 3219501d
  clc5q authored 11 years ago
  
  View commits for tag alias_analysis_19AUG2013 alias_analysis_19AUG2013
  
  3219501d
Aug 17, 2013
- Fix alias analysis. · 92049269
  clc5q authored 11 years ago
  
  View commits for tag alias_analysis_17AUG2013 alias_analysis_17AUG2013
  
  92049269
Aug 01, 2013
- Make IsRegDead() independent of DU chains. · 36314d69
  clc5q authored 11 years ago
  
  36314d69
Jul 31, 2013
- Make FindRedundantLocalMetadata() independent of DU chains. · 44241764
  clc5q authored 11 years ago
  
  44241764
Jul 27, 2013
- Make InferLocalDefType() not depend on DU chains. · 372e0415
  clc5q authored 11 years ago
  
  372e0415
- Make PropagateLocalMetadata() not depend on DU chains. · b18013bc
  clc5q authored 11 years ago
  
  b18013bc
Jul 26, 2013
- Make PropagateLocalDefType() not use local DU chains. · 83d78931
  clc5q authored 11 years ago
  
  83d78931
- End dependence on DU chains for GetDefAddrFromUseAddr(). · 11b23b31
  clc5q authored 11 years ago
  
  11b23b31
Jul 25, 2013
- Convert AddrInstMap to map InstAddr to InstVec index. · 87d6c842
  clc5q authored 11 years ago
  
  View commits for tag duchain_data_structures_25JUL2013 duchain_data_structures_25JUL2013
  
  87d6c842
Jul 24, 2013
- Convert basic block inst list to vector of insts. · 3a327ff6
  clc5q authored 11 years ago
  
  3a327ff6
Jul 21, 2013
- Check for signedness errors on unsigned args to 19 C standard library functions. · d57062b8
  clc5q authored 11 years ago
  
  d57062b8
Jul 13, 2013
- Continue encapsulation of DU chains. · 48e65f9d
  clc5q authored 11 years ago
  
  48e65f9d
- Start encapsulation of DU chains. · 34288458
  clc5q authored 11 years ago
  
  34288458
Jul 06, 2013
- Generalize idioms based on ultimate operand sources by tracing through stack locations. · b4d185f7
  clc5q authored 11 years ago
  
  b4d185f7
Jul 04, 2013
- Limit SINKMALLOC recursion to LiveOut DEFs. · e40d23df
  clc5q authored 11 years ago
  
  e40d23df
Jul 03, 2013
- Generalize SINKMALLOC detection and increase precision. · 3e8af7e9
  clc5q authored 11 years ago
  
  3e8af7e9
Jun 29, 2013
- Link unreachable blocks via xrefs to preceding indirect jumps, if possible. · 128b49cc
  clc5q authored 11 years ago
  
  View commits for tag stonesoup-phase2-tne-release stonesoup-phase2-tne-release
  
  128b49cc
Jun 27, 2013
- Improve IsOpDestTruncatedWrite(); follow through moves. · d2de4be5
  clc5q authored 11 years ago
  
  d2de4be5
Jun 26, 2013
- Generalize detection of hashing; extend SMPInstr::MDIsAddition to include lea opcode additions. · c1e5c54b
  clc5q authored 11 years ago
  
  View commits for tag hashing_lea_addition_26JUN2013 hashing_lea_addition_26JUN2013
  
  c1e5c54b
Jun 25, 2013
- IDIOM 24 for truncations. · 8ff7959e
  clc5q authored 11 years ago
  
  8ff7959e
- IsOpSourceSpecial() generalization and redundancy elmimination. · 0d1e6431
  clc5q authored 11 years ago
  
  0d1e6431
Jun 24, 2013
- Extend several idioms based on operand source to include stack locations in search chain. · 42f9625d
  clc5q authored 11 years ago
  
  42f9625d
Jun 23, 2013
- Expand IDIOM 21 to cover stack operands. · 9f666f32
  clc5q authored 11 years ago
  
  9f666f32
Jun 22, 2013
- IDIOM 23: unsigned subtract then immediate add. · 1a41b74b
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_23_21JUN2013C IDIOM_23_21JUN2013C
  
  1a41b74b
Jun 21, 2013
- IDIOM 22: ignore UNSIGNED OVERFLOW when an operation sequence using constant... · de2d761a
  clc5q authored 11 years ago
  
  IDIOM 22: ignore UNSIGNED OVERFLOW when an operation sequence using constant operands indicates likely overflow.
  de2d761a
Jun 20, 2013
- Extend IDIOM 21 to stack DEFs. · 573a3c34
  clc5q authored 11 years ago
  
  573a3c34
- Expand scope of existing idioms. · 6d071ade
  clc5q authored 11 years ago
  
  6d071ade
Jun 18, 2013
- Expand IDIOM 21 to include USE-only addends and subtrahends produced by bitwise nots. · b1d0f37a
  clc5q authored 11 years ago
  
  b1d0f37a
- IDIOM 21: bitwise NOT followed by overflow or underflow operation. · 0863ab17
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_21_bitwise_not_17JUN2013B IDIOM_21_bitwise_not_17JUN2013B
  
  0863ab17
Jun 17, 2013
- Add IDIOM 20 for SIGNEDNESS; reduce memory use. · 5f5b535d
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_20_memory_reduction_17JUN2013 IDIOM_20_memory_reduction_17JUN2013
  
  5f5b535d
Jun 14, 2013
- Convert dead regs from a string to a bitset to reduce inst memory and make for easy queries. · 65b34e2b
  clc5q authored 11 years ago
  
  View commits for tag deadregs_bitset_14JUN2013B deadregs_bitset_14JUN2013B
  
  65b34e2b
- Reduce UNSIGNED propagation from questionable conditional branches. · 5bfee186
  clc5q authored 11 years ago
  
  5bfee186
Jun 12, 2013
- Detect benign truncations by finding related subreg masking operations. · d8f98419
  clc5q authored 11 years ago
  
  View commits for tag benign_truncations_11JUN2013 benign_truncations_11JUN2013
  
  d8f98419
Jun 11, 2013
- Extend recognition of sbb eax,eax ... add eax,small to allow intervening AND and OR opcodes. · 3608a322
  clc5q authored 11 years ago
  
  3608a322
Jun 10, 2013
- Declare benign all integer errors within a block after getttimeofday calls. · 18f3e248
  clc5q authored 11 years ago
  
  View commits for tag gettimeofday_trusted_10JUN2013 gettimeofday_trusted_10JUN2013
  
  18f3e248
- Expand detection of unreliable UNSIGNED branch inferences to include optimized range checks. · 076df22f
  clc5q authored 11 years ago
  
  View commits for tag optimized_range_check_idiom_09JUN2013 optimized_range_check_idiom_09JUN2013
  
  076df22f
Jun 09, 2013
- UNKNOWNSIGN on unreliable UNSIGNED inference in middle of IDIOM 14 pseudo-truncating def-use chain. · 243fb055
  clc5q authored 11 years ago
  
  View commits for tag false_positives_08JUN2013 false_positives_08JUN2013
  
  243fb055