Commits · d1a63f17302c1f05656bc4c25f7e7501e51258c6 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
- Permit imul of unsigned operands to produce unsigned def. · 412597ab
  clc5q authored 12 years ago
  
  View commits for tag imul_signedness_propagation_01APR2013 imul_signedness_propagation_01APR2013
  
  412597ab
Mar 31, 2013
- Enable aggressive signedness propagation, stage 1. · 456faeef
  clc5q authored 12 years ago
  
  View commits for tag signedness_propagation_31MAR2013 signedness_propagation_31MAR2013
  
  456faeef
- 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
  View commits for tag unmixed_DEF_signedness_29MAR2013 unmixed_DEF_signedness_29MAR2013
  
  3af2401e
Mar 26, 2013
- Suppress underflow false positives on ASCII char range checks. · 3d3e6103
  clc5q authored 12 years ago
  
  View commits for tag ASCII_false_positives_26MAR2013 ASCII_false_positives_26MAR2013
  
  3d3e6103
- Finish signedness inference from opcodes. · ff165b9f
  clc5q authored 12 years ago
  
  View commits for tag opcode_signedness_25MAR2013 opcode_signedness_25MAR2013
  
  ff165b9f
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 23, 2013
- Infer signedness from opcodes; suppress overflow and underflow checks on small... · 46840831
  clc5q authored 12 years ago
  View commits for tag opcode_signedness_benign_flags_22MAR2013 opcode_signedness_benign_flags_22MAR2013
  
  46840831
Mar 21, 2013
- Check for truncation when the USE is a possible truncation and DEF is a non-stack memory location. · 995020bc
  clc5q authored 12 years ago
  
  View commits for tag memdef_truncation_21MAR2013 memdef_truncation_21MAR2013
  
  995020bc
- Build RTLs for SSE opcodes found in dumbledore and ffmpeg codes. · 35143b1d
  clc5q authored 12 years ago
  
  View commits for tag SSE_RTLs_20MAR2013 SSE_RTLs_20MAR2013
  
  35143b1d