Commits · a1d096c1efb09526046c046a89d4161cf5533378 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Feb 18, 2014
- Expand truncation IDIOM 2 for bugzilla bug #150. · 4816446c
  clc5q authored 11 years ago
  
  4816446c
Nov 26, 2013
- Gather SCCP statistics. · 7e8f0704
  clc5q authored 11 years ago
  
  7e8f0704
Nov 21, 2013
- Finish handling unreachable blocks via SCCP. · 88dcd45a
  clc5q authored 11 years ago
  
  88dcd45a
Nov 12, 2013
- Commit first tested version of SCCP. · b63484d4
  clc5q authored 11 years ago
  
  View commits for tag SCCP_12NOV2013 SCCP_12NOV2013
  
  b63484d4
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 27, 2013
- Make PropagateLocalMetadata() not depend on DU chains. · b18013bc
  clc5q authored 11 years ago
  
  b18013bc
Jul 26, 2013
- 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 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 25, 2013
- IDIOM 24 for truncations. · 8ff7959e
  clc5q authored 11 years ago
  
  8ff7959e
Jun 23, 2013
- Expand IDIOM 21 to cover stack operands. · 9f666f32
  clc5q authored 11 years ago
  
  9f666f32
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 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
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
Jun 08, 2013
- Improve hashing loop ID. · 628ef359
  clc5q authored 11 years ago
  
  628ef359
Jun 07, 2013
- Apply IDIOM 18 to index registers. · 5e6623bd
  clc5q authored 11 years ago
  
  5e6623bd
Jun 05, 2013
- Detect stupid hand-coded asm ja/jb sequence, treat as jne (not necessarily unsigned). · dbe41825
  clc5q authored 11 years ago
  
  View commits for tag idiotic_branches_05JUN2013 idiotic_branches_05JUN2013
  
  dbe41825
Jun 04, 2013
- IDIOM 18: Leave over/underflow problems on address registers to the C7 defenses. · f0bc8a3e
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_18_03JUN2013 IDIOM_18_03JUN2013
  
  f0bc8a3e
Jun 02, 2013
- Improve MEDS type inference and propagation to improve false positive idiom detection. · 494154b2
  clc5q authored 11 years ago
  
  View commits for tag MEDS_types_01JUN2013 MEDS_types_01JUN2013
  
  494154b2
May 22, 2013
- Suppress IDIOM 15: hash function arithmetic in tight loop. · 36994c82
  clc5q authored 11 years ago
  
  View commits for tag hash_functions_IDIOM_15_21MAY2013 hash_functions_IDIOM_15_21MAY2013
  
  36994c82
May 19, 2013
- Begin the loop identification process with the data structures and fundamental... · 7181177f
  clc5q authored 11 years ago
  
  Begin the loop identification process with the data structures and fundamental methods of back edge discovery.
  View commits for tag loop_identification_19MAY2013 loop_identification_19MAY2013
  
  7181177f
Apr 30, 2013
- Emit previously suppressed numeric annotations with an IDIOM code field. · 3dafac27
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_annotations_30APR2013 IDIOM_annotations_30APR2013
  
  3dafac27
Apr 03, 2013
- Suppress false positive annotations for small additions after sbb reg1,reg1 instructions. · d049b42c
  clc5q authored 11 years ago
  
  View commits for tag sign_change_false_positives_03APR2013 sign_change_false_positives_03APR2013
  
  d049b42c
Mar 31, 2013
- Avoid UNSIGNED inference from irrelevant zero-extension on loads. · 3140347a
  clc5q authored 12 years ago
  
  View commits for tag signedness_30MAR2013 signedness_30MAR2013
  
  3140347a
Mar 30, 2013
- Do not allow DEF signedness to become mixed due to propagation of USE operand... · 3af2401e
  clc5q authored 12 years ago
  
  Do not allow DEF signedness to become mixed due to propagation of USE operand signedness within an RTL.
  View commits for tag unmixed_DEF_signedness_29MAR2013 unmixed_DEF_signedness_29MAR2013
  
  3af2401e
Mar 24, 2013
- Speed up and clean up reaching defs computations. · 969145be
  clc5q authored 12 years ago
  
  View commits for tag reaching_defs_speedup_23MAR2013 reaching_defs_speedup_23MAR2013
  
  969145be
Mar 03, 2013
- Suppress benign underflows from strcmp() code or any code subtracting condition code values. · c9b35f2c
  clc5q authored 12 years ago
  
  View commits for tag benign_condition_code_underflow_02MAR2013 benign_condition_code_underflow_02MAR2013
  
  c9b35f2c
Feb 22, 2013
- Analysis of stack pointer deltas and stack location accesses. · 604fc5c9
  clc5q authored 12 years ago
  
  View commits for tag stack_pointer_analysis_21FEB2013 stack_pointer_analysis_21FEB2013
  
  604fc5c9
Dec 24, 2012
- Code for reaching defs and stack deltas (complete but inactive.) · 6c3670f0
  clc5q authored 12 years ago
  
  View commits for tag reaching_defs_24DEC2012 reaching_defs_24DEC2012
  
  6c3670f0
Nov 21, 2012
- Partial completion of stack pointer delta analysis; reordering analyses for optimal sequence. · 1be57226
  clc5q authored 12 years ago
  
  View commits for tag phase_ordering_21NOV2012 phase_ordering_21NOV2012
  
  1be57226
May 12, 2012
- Speed up InferGlobalDefType() by limiting search scope to chains starting with DEF block. · 3b902d79
  clc5q authored 12 years ago
  
  View commits for tag code_speedup_11MAY2012 code_speedup_11MAY2012
  
  3b902d79