Commits · 3608a322eaebda378376d547e88adab4845ea158 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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 optimized range check recognition to include subtractions performed by lea opcodes. · cbbf5fab
  clc5q authored 11 years ago
  
  cbbf5fab
- 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
Jun 08, 2013
- Extend IDIOM 4 to ignore bitwise NOT in sequence. · f6321cc7
  clc5q authored 11 years ago
  
  f6321cc7
- Improve hashing loop ID. · 628ef359
  clc5q authored 11 years ago
  
  628ef359
Jun 07, 2013
- Extend index reg IDIOM 18 to nested loops. · 4e6faf7c
  clc5q authored 11 years ago
  
  View commits for tag nested_loops_IDIOM_18_07JUN2013 nested_loops_IDIOM_18_07JUN2013
  
  4e6faf7c
- Improve index register coverage in IDIOM 18. · dd9e8be6
  clc5q authored 11 years ago
  
  View commits for tag index_regs_IDIOM_18_06JUN2013 index_regs_IDIOM_18_06JUN2013
  
  dd9e8be6
- Apply IDIOM 18 to index registers. · 5e6623bd
  clc5q authored 11 years ago
  
  5e6623bd
Jun 06, 2013
- Fixes for idapro 6.4; allins.h seems to not be something one should include... · d1a63f17
  jdh8d authored 11 years ago
  d1a63f17
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 28, 2013
- Truncation false positives. · 30b6ca3f
  clc5q authored 11 years ago
  
  30b6ca3f
- Add addition of large constant pattern to IDIOM 11. · 87576c26
  clc5q authored 11 years ago
  
  87576c26
May 27, 2013
- Tweak IDIOM 10 (multiply by large constant); begin SCCP code. · eaaea646
  clc5q authored 11 years ago
  
  eaaea646
May 25, 2013
- IDIOM 17: overflows of jump table offset computations should be UNKNOWNSIGN... · b94e2977
  clc5q authored 11 years ago
  View commits for tag switch_table_overflows_unknownsign_IDIOM_17_25MAY2013 switch_table_overflows_unknownsign_IDIOM_17_25MAY2013
  
  b94e2977
May 24, 2013
- Benign underflow, IDIOM 16, for shift-and-subtract-original-value-from-shifted-value code pattern. · a34f26f2
  clc5q authored 11 years ago
  
  View commits for tag benign_underflow_IDIOM_16_24MAY2013 benign_underflow_IDIOM_16_24MAY2013
  
  a34f26f2
- Detect more benign truncations in IDIOM 2 based on the original source of the... · 1c8258b1
  clc5q authored 11 years ago
  View commits for tag benign_truncations_IDIOM_2_23MAY2013 benign_truncations_IDIOM_2_23MAY2013
  
  1c8258b1
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 21, 2013
- Enable simple conditional MEDS type propagation on phi functions. · 4f98cc93
  clc5q authored 11 years ago
  
  View commits for tag sparse_phi_type_propagation_20MAY2013 sparse_phi_type_propagation_20MAY2013
  
  4f98cc93
May 19, 2013
- Begin the loop identification process with the data structures and fundamental... · 7181177f
  clc5q authored 11 years ago
  View commits for tag loop_identification_19MAY2013 loop_identification_19MAY2013
  
  7181177f
May 16, 2013
- Temporarily disable assertion that is a problem in IDA Pro 6.4 for nginx. · 84355d8a
  clc5q authored 11 years ago
  
  84355d8a
May 15, 2013
- Improved detection of truncation idiom 14 and overflow idiom 10... · 3788cfc4
  clc5q authored 11 years ago
  View commits for tag imul_operands_15MAY2015 imul_operands_15MAY2015
  
  3788cfc4
May 13, 2013
- Benign truncation, IDIOM 14. · 8c9d34ab
  clc5q authored 11 years ago
  
  View commits for tag benign_truncations_13MAY2013 benign_truncations_13MAY2013
  
  8c9d34ab
- Expand searches for IDIOMs 3 and 12 to global scope through Phi functions. · d74aafe3
  clc5q authored 11 years ago
  
  View commits for tag global_code_idioms_12MAY2013 global_code_idioms_12MAY2013
  
  d74aafe3
May 11, 2013
- Compatibility fix for IDA Pro 6.4. · 765b7005
  clc5q authored 11 years ago
  
  765b7005
- Expand IDIOM 3 to include subtraction of small immediate from condition code;... · d05c2c25
  clc5q authored 11 years ago
  View commits for tag code_idioms_10MAY2013 code_idioms_10MAY2013
  
  d05c2c25
May 09, 2013
- Benign underflow idioms 11 and 12; subtrahend is large constant, or both... · d34bf95a
  clc5q authored 11 years ago
  View commits for tag benign_underflows_08MAY2013B benign_underflows_08MAY2013B
  
  d34bf95a
May 08, 2013
- Benign underflow idiom #11 : Subtraction of large constant. · e31987b4
  clc5q authored 11 years ago
  
  View commits for tag benign_underflow_large_constant_08MAY2013 benign_underflow_large_constant_08MAY2013
  
  e31987b4
- Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start... · cfe0d7e9
  clc5q authored 11 years ago
  View commits for tag new_RTLs_code_cleanup_07MAY2013 new_RTLs_code_cleanup_07MAY2013
  
  cfe0d7e9
May 04, 2013
- Terminate branch signedness propagation at calls and ASCII compares. · cd8a190d
  clc5q authored 11 years ago
  
  View commits for tag branch_sign_propagation_03MAY2013 branch_sign_propagation_03MAY2013
  
  cd8a190d
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 29, 2013
- Fix crashes on lea reg,[ds:0] instructions. · 1aef5b5f
  clc5q authored 11 years ago
  
  1aef5b5f
- RTLs for bound+arpl opcodes; 5 new opcodes in mplayer; USEs from RTL guards; code cleanup. · 0c626107
  clc5q authored 11 years ago
  
  View commits for tag bound_arpl_RTLs_29APR2013 bound_arpl_RTLs_29APR2013
  
  0c626107
Apr 03, 2013
- Suppress false positive annotations for small additions after sbb reg1,reg1 instructions. · d049b42c
  clc5q authored 12 years ago
  
  View commits for tag sign_change_false_positives_03APR2013 sign_change_false_positives_03APR2013
  
  d049b42c
- Fix bug in which addressing reg is falsely seen as binary arithmetic reg,... · 2d3fdcb8
  clc5q authored 12 years ago
  2d3fdcb8
Apr 02, 2013
- Remove bad assertion; call MDFixupDefUseLists on orphan code to improve MEDS annotations. · 8f7dfe7a
  clc5q authored 12 years ago
  
  View commits for tag code_cleanup_02APR2013 code_cleanup_02APR2013
  
  8f7dfe7a
Apr 01, 2013
- Convert to SIGNED any DEF produced by subtraction of condition codes. · 51b2ea3a
  clc5q authored 12 years ago
  
  View commits for tag signed_subtract_condition_codes_01APR2013B signed_subtract_condition_codes_01APR2013B
  
  51b2ea3a