Commits · 1be57226f7560194843095451f149f7bafcda0cd · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Oct 30, 2012
- Prep work for whole program analyses from the call graph leaves upward. · ba501315
  clc5q authored 12 years ago
  
  View commits for tag global_analysis_prep_30OCT2012 global_analysis_prep_30OCT2012
  
  ba501315
Oct 28, 2012
- Prep work for changing the processing order of functions. · 65f048cb
  clc5q authored 12 years ago
  
  65f048cb
Oct 25, 2012
- Initial work to analyze stack pointer offsets. · 1e845d3d
  clc5q authored 12 years ago
  
  1e845d3d
Oct 19, 2012
- Make funcs with no callers UNSAFE. · 5d3f317f
  clc5q authored 12 years ago
  
  View commits for tag unsafe_uncalled_funcs_18OCT2012 unsafe_uncalled_funcs_18OCT2012
  
  5d3f317f
Oct 18, 2012
- Correctly handle tail calls in the call graph. · 243702dc
  clc5q authored 12 years ago
  
  View commits for tag tail_calls_18OCT2012 tail_calls_18OCT2012
  
  243702dc
- Mark functions UNSAFE if they are the target of jumps used as calls. · e5fe6b07
  clc5q authored 12 years ago
  
  e5fe6b07
Oct 17, 2012
- Treat return addresses as insecure (FUNC_UNSAFE) when address of function is taken. · dbb807c1
  clc5q authored 12 years ago
  
  dbb807c1
Oct 10, 2012
- Work around IDA Pro problem that produces bogus incoming args at huge stack frame offsets. · 2df5f659
  clc5q authored 12 years ago
  
  2df5f659
Sep 18, 2012
- Operate through new middleware module SMPDBInterface instead of directly through IDA Pro SDK. · 39c0fa15
  clc5q authored 12 years ago
  
  39c0fa15
Aug 14, 2012
- Emit info annotation for all memory operands. · 95c5af56
  clc5q authored 12 years ago
  
  95c5af56
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
May 07, 2012
- Memory and code cleanup with no annotation changes. · e76a5fc0
  clc5q authored 12 years ago
  
  View commits for tag code_cleanup_06MAY2012 code_cleanup_06MAY2012
  
  e76a5fc0
May 05, 2012
- Minor memory allocation and destructor cleanup. · dfd975b6
  clc5q authored 12 years ago
  
  dfd975b6
Apr 27, 2012
- Move BuildRTL earlier; fix problems with destructors and phase ordering. · 708f1efc
  clc5q authored 12 years ago
  
  View commits for tag stack_offset_analysis_1_27APR2012A stack_offset_analysis_1_27APR2012A
  
  708f1efc
Apr 17, 2012
- Find overflowing opcodes that DEF an arg passed to malloc et al. and tag annotation as SINKMALLOC. · 7daca5a3
  clc5q authored 12 years ago
  
  View commits for tag mark_malloc_sink_overflows_17APR2012 mark_malloc_sink_overflows_17APR2012
  
  7daca5a3
Apr 07, 2012
- Fix FindOutgoingArgsSize() for cases with stack entries below the main... · 11aea916
  clc5q authored 12 years ago
  
  Fix FindOutgoingArgsSize() for cases with stack entries below the main allocation point; suppress signedness annotations on partial stores that do not overwrite the sign bit.
  View commits for tag outargs_signedness_06APR2012 outargs_signedness_06APR2012
  
  11aea916
Apr 05, 2012
- Use stack operand bit width from IDA Pro when FGStackTable is not available. · d00d3f50
  clc5q authored 12 years ago
  
  View commits for tag stack_bit_width_04APR2012 stack_bit_width_04APR2012
  
  d00d3f50
Apr 04, 2012
- Detect infinite loops, emit annotation. · 2f069fc4
  clc5q authored 12 years ago
  
  View commits for tag infinite_loops_04APR2012 infinite_loops_04APR2012
  
  2f069fc4
Feb 16, 2012
- Improve type inference and speed it up by making it converge to a fixed point faster. · eeeb9a7b
  clc5q authored 13 years ago
  
  View commits for tag type_inference_16FEB2012 type_inference_16FEB2012
  
  eeeb9a7b
Feb 13, 2012
- Speed up InferTypes() by earlier use of InferPhiDefTypes(). · debb1af3
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_13FEB2012 code_cleanup_13FEB2012
  
  debb1af3
- Continue code cleanup and shrink-to-fit memory reduction. · d423bfa5
  clc5q authored 13 years ago
  
  d423bfa5
Feb 09, 2012
- Code cleanup, fix minor phase ordering issues, measure memory usage. · bca8420b
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_08FEB2012 code_cleanup_08FEB2012
  
  bca8420b
Feb 03, 2012
- Memory reduction and code cleanup. · dc0fdecf
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_03FEB2012 memory_reduction_03FEB2012
  
  dc0fdecf
Jan 23, 2012
- Output INSTR SECURITYCALL annotations for policy violations to *.infoannot file. · 02db8cb9
  clc5q authored 13 years ago
  
  View commits for tag security_policy2 security_policy2
  
  02db8cb9
Dec 19, 2011
- Code speedup for type inference. · 03a84613
  clc5q authored 13 years ago
  
  View commits for tag code_speedup_19DEC2011 code_speedup_19DEC2011
  
  03a84613
Dec 15, 2011
- Remove EXTR code segment processing from tag memory_reduction_12DEC2011 · fbaba58a
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_14DEC2011 memory_reduction_14DEC2011
  
  fbaba58a
Dec 12, 2011
- Revert to integer_errors_13 · dfcf8adb
  clc5q authored 13 years ago
  
  dfcf8adb
- Reduce memory consumption. · e2272030
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_12DEC2011 memory_reduction_12DEC2011
  
  e2272030
Dec 04, 2011
- Infer that registers with MEDS type of data or code ptr must be unsigned,... · 4451efbc
  clc5q authored 13 years ago
  
  Infer that registers with MEDS type of data or code ptr must be unsigned, handle 10-byte FPU operands.
  View commits for tag integer_errors_12 integer_errors_12
  
  4451efbc
Nov 22, 2011
- Complete the annotations for lea opcode; fix bugs. · 2f9d2982
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_11 integer_errors_11
  
  2f9d2982
Nov 19, 2011
- Improve signedness propagation upwards from conditional branches that are signed or unsigned. · ceab5f08
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_10 integer_errors_10
  
  ceab5f08
- Expand local variable tables to include incoming argument, callee-saved reg,... · b5fe60a5
  clc5q authored 13 years ago
  
  Expand local variable tables to include incoming argument, callee-saved reg, and return address locations.
  View commits for tag integer_errors_9 integer_errors_9
  
  b5fe60a5
Nov 18, 2011
- Emit CHECK TRUNCATION NOFLAG annotations for lea opcodes. · 267d60ed
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_8 integer_errors_8
  
  267d60ed
Nov 13, 2011
- Improve FG info propagation including phi functions; clean up code. · e2876f2f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_6 integer_errors_6
  
  e2876f2f
Nov 02, 2011
- Code cleanup and speedup. Give global dummy vars unique names. · 601185b9
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_02NOV2011 code_cleanup_02NOV2011
  
  601185b9
Nov 01, 2011
- Emit info annotations for functions with analysis problems. · 72d876fd
  clc5q authored 13 years ago
  
  View commits for tag func_problems_info_1 func_problems_info_1
  
  72d876fd
Oct 31, 2011
- Emit stack frame annotations even if no stack referent is needed, to aid PEASOUP project. · 39243c18
  clc5q authored 13 years ago
  
  View commits for tag outargs_region_1 outargs_region_1
  
  39243c18
Oct 29, 2011
- Implement overflow check annotations for multiplications; code cleanup. · 8b74a8f7
  clc5q authored 13 years ago
  
  8b74a8f7
Oct 27, 2011
- Add signedness to TRUNCATION annotations. · 4e2e692b
  clc5q authored 13 years ago
  
  4e2e692b