Commits · 60b994f1aaaf3ef841314fdb78d2e31bec30b562 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jan 25, 2012
- Add function name to alarm message for policy violation locations. · 60b994f1
  clc5q authored 13 years ago
  
  View commits for tag security_policy_3 security_policy_3
  
  60b994f1
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 16, 2011
- Back out processing of EXTRN segments from tag integer_errors_14. · d9e8d578
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_15 integer_errors_15
  
  d9e8d578
Dec 12, 2011
- Pull latest change, revert to previous. · 8b9aa593
  clc5q authored 13 years ago
  
  8b9aa593
- Handle special case in which IMUL opcode is used for unsigned operands. · 6e919343
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_14 integer_errors_14
  
  6e919343
Dec 06, 2011
- Emit CHECK SIGNEDNESS UNSIGNED annotations when DEF is UNSIGNED. · 7ae5e3f6
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_13 integer_errors_13
  
  7ae5e3f6
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 26, 2011
- Save space on bools with bit-flag sets, and speed up code. · 712d92b2
  clc5q authored 13 years ago
  
  View commits for tag code_speedup_25NOV2011 code_speedup_25NOV2011
  
  712d92b2
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 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 17, 2011
- Implement Zephyr Security Toolkit security policy checking for system calls. · 4ae5dde5
  clc5q authored 13 years ago
  
  View commits for tag security_policy_1 security_policy_1
  
  4ae5dde5
Nov 14, 2011
- Infer signedness and width of return value register from library function calls. · 08d807e1
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_7 integer_errors_7
  
  08d807e1
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 07, 2011
- Implement new design for TRUNCATION and SIGNEDNESS annotations. · e2f78dbc
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_5 integer_errors_5
  
  e2f78dbc
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
Oct 30, 2011
- Implement OVERFLOW and UNDERFLOW annotations for non-multiply arithmetic opcodes. · 5da97737
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_4 integer_errors_4
  
  5da97737
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
- Mostly complete implementation of the portion of integer error · f471a981
  clc5q authored 13 years ago
  
  detection that emits TRUNCATION annotations.
  View commits for tag integer_errors_2 integer_errors_2
  
  f471a981
Oct 25, 2011
- Major portion of work to analyze signedness and width of operands. · d644005f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_1 integer_errors_1
  
  d644005f
Oct 17, 2011
- Handle new opcodes in category tables. · e96a8a8f
  clc5q authored 13 years ago
  
  View commits for tag handle_new_opcodes_1 handle_new_opcodes_1
  
  e96a8a8f
Sep 25, 2011
- Fix incomplete assignment operators used in copy constructors; fix algorithm... · e48795bb
  clc5q authored 13 years ago
  
  Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.
  View commits for tag code_cleanup_24SEP2011 code_cleanup_24SEP2011
  
  e48795bb
Sep 21, 2011
- Fix backward compatibility problem with IDA Pro 5.1 (no MMX control register back then). · 0f98f993
  clc5q authored 13 years ago
  
  0f98f993
Sep 17, 2011
- Build RTLs for MMX and SSE instructions used in current glibc. · 475a7cf4
  clc5q authored 13 years ago
  
  View commits for tag RTL_mmx_1 RTL_mmx_1
  
  475a7cf4
Sep 11, 2011

Fix RTLs for SCAS and CMPS; eliminate spurious ERROR messages for LEA RTLs;... · cc78f63b

clc5q authored 13 years ago

Fix RTLs for SCAS and CMPS; eliminate spurious ERROR messages for LEA RTLs; reduce log messages to speed up; don't call profiler analysis methods if there are no profiler annotations.

cc78f63b

Sep 10, 2011
- Identify self-recursive calls and pseudo-calls used as jumps within functions. · 024eb37a
  clc5q authored 13 years ago
  
  View commits for tag recursion_pseudo_calls recursion_pseudo_calls
  
  024eb37a
Jun 29, 2011
- Bug fix and addition to print out that there is no function for some instructions · ee75c774
  jdh8d authored 13 years ago
  
  ee75c774
Jun 25, 2011
- Make static analyzer work with IDA 5.x and 6.x. · 8b90f2e6
  clc5q authored 13 years ago
  
  View commits for tag idapro6x_5x idapro6x_5x
  
  8b90f2e6
May 19, 2011
- Fix crashes in IDA Pro 6 due to SMPFunction member FuncInfo getting locked and unlocked by IDA. · f04e1113
  clc5q authored 13 years ago
  
  View commits for tag idapro60_bad_2 idapro60_bad_2
  
  f04e1113
May 13, 2011
- Conform to IDA Pro API; avoid obsoleted functions. · 8f3fdd35
  clc5q authored 13 years ago
  
  View commits for tag idapro_api idapro_api
  
  8f3fdd35
Apr 19, 2011
- Eliminate compiler warnings and valgrind memcheck error; remove incomplete SBIR code. · 0f2d557b
  clc5q authored 13 years ago
  
  0f2d557b
Mar 30, 2011
- Added copyright notices · 9f2d1d14
  jdh8d authored 14 years ago
  
  9f2d1d14
Mar 25, 2010
- Add USE/DEF of ESI to interrupt calls; eliminate duplicate PTRIMMED... · 766781dd
  clc5q authored 15 years ago
  
  Add USE/DEF of ESI to interrupt calls; eliminate duplicate PTRIMMED annotations for lea instructions.
  View commits for tag interrupt_fix1 interrupt_fix1
  
  766781dd
Jan 03, 2010
- Infer and Propagate types and emit annotations for unaliased MemDefs · 90b7173c
  clc5q authored 15 years ago
  
  View commits for tag alias_analysis_2 alias_analysis_2
  
  90b7173c
Jan 02, 2010
- Detect indirect writes in memory DEF-USE chains (no new annotations). · 1e522d01
  clc5q authored 15 years ago
  
  View commits for tag alias_analysis_1 alias_analysis_1
  
  1e522d01
Nov 24, 2008
- Propagate HEAPPTR type for return reg EAX from malloc() calls. · 58b6b337
  clc5q authored 16 years ago
  
  View commits for tag malloc_wrappers1 malloc_wrappers1
  
  58b6b337
Nov 21, 2008
- Optimize pops that produce NUMERIC register results. · 0ab7b9d9
  clc5q authored 16 years ago
  
  View commits for tag numeric_pops1 numeric_pops1
  
  0ab7b9d9
Nov 18, 2008
- Enable DEADREGS annotations on prologue push instructions receiving NOWARN annotations. · e8eea6b1
  clc5q authored 16 years ago
  
  e8eea6b1
Nov 12, 2008
- Continue work on stack location DEF type propagation (disabled). · 7399a3af
  clc5q authored 16 years ago
  
  View commits for tag indirect_accesses3 indirect_accesses3
  
  7399a3af