Commits · e2876f2f8c991fea234446e9818e20675af46367 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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 01, 2011
- Fix tables of which instructions DEF and USE the x86 flags. · 5847c051
  clc5q authored 13 years ago
  
  View commits for tag flags_def_use_1 flags_def_use_1
  
  5847c051
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 27, 2011
- Add signedness to TRUNCATION annotations. · 4e2e692b
  clc5q authored 13 years ago
  
  4e2e692b
- Compatibility fix for IDA Pro 5.1. · 9c7b8677
  clc5q authored 13 years ago
  
  9c7b8677
- 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 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
Aug 22, 2011
- IDA Pro 5.1 compatibility. · 0dece84e
  clc5q authored 13 years ago
  
  0dece84e
Aug 20, 2011
- Fix infinite loops and crashes related to unreachable blocks and SSE/MMX... · d2afd156
  clc5q authored 13 years ago
  
  Fix infinite loops and crashes related to unreachable blocks and SSE/MMX instructions and registers.
  View commits for tag indirect_recursion_2_MMX indirect_recursion_2_MMX
  
  d2afd156
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 13 years ago
  
  9f2d1d14
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
Aug 22, 2008
- Eliminate compiler warnings on some compiler versions. · 5169a041
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup6 code_cleanup6
  
  5169a041
Jun 25, 2008
- Expanded a comment. · c6157ef8
  clc5q authored 16 years ago
  
  c6157ef8
Jun 13, 2008
- Find redundant metadata and annotate. · 65a9a93f
  clc5q authored 16 years ago
  
  View commits for tag redundant_metadata1 redundant_metadata1
  
  65a9a93f
Jun 08, 2008
- Apply NumericDEFs annotations to the lea opcode. · e4ba25f1
  clc5q authored 16 years ago
  
  View commits for tag lea_numeric_defs lea_numeric_defs
  
  e4ba25f1
- Allow mmStrata to process interrupt instructions. · d028999c
  clc5q authored 16 years ago
  
  View commits for tag interrupt_fix interrupt_fix
  
  d028999c
Jun 07, 2008
- Code cleanup. · a564e3fd
  clc5q authored 16 years ago
  
  a564e3fd
May 29, 2008
- Code cleanup, initializing more members in constructors, etc. · b806bd99
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup2 code_cleanup2
  
  b806bd99
- Track profile derived status in SMPMeetType(). · 7c294ba1
  clc5q authored 16 years ago
  
  7c294ba1
- Add function SMPTypeMeet(). · 57912578
  clc5q authored 16 years ago
  
  57912578
May 23, 2008
- Implement analysis of liveness of metadata. · 1d37a1c4
  clc5q authored 16 years ago
  
  View commits for tag analyze_metadata1 analyze_metadata1
  
  1d37a1c4
May 14, 2008
- Support for reading/updating profiler generated annotations, and applying... · 27b7dc82
  jdh8d authored 16 years ago
  
  Support for reading/updating profiler generated annotations, and applying profiled numeric annotations to the type inference system
  View commits for tag type_inference_with_profiler_input type_inference_with_profiler_input
  
  27b7dc82
May 12, 2008
- Start implementation of (disabled) conditional type propagation. · 6db7ca24
  clc5q authored 16 years ago
  
  View commits for tag propagate_SAFE_mem propagate_SAFE_mem
  
  6db7ca24
May 02, 2008
- Macros and other preparation for integrating profiler annotations into the type inference system. · fc9fe57c
  clc5q authored 16 years ago
  
  View commits for tag prep_for_profiler prep_for_profiler
  
  fc9fe57c
May 01, 2008
- Use new function MDExtractAddressFields to refactor code. · c978f02a
  clc5q authored 16 years ago
  
  c978f02a
Apr 30, 2008
- Add functions MDExtractAddressFields, MDIsIndirectMemoryOpnd, and DefOrUseSet::TypesAgreeNoFlags. · cc445876
  clc5q authored 16 years ago
  
  cc445876
Apr 15, 2008
- Remove unused #define. · 94e15d40
  clc5q authored 16 years ago
  
  94e15d40
Apr 11, 2008
- Move conditional moves from type category 12 to 0; most of category 15 to 14... · c9d9744d
  clc5q authored 16 years ago
  
  Move conditional moves from type category 12 to 0; most of category 15 to 14 (FP with MemSrc possible but not MemDest).
  View commits for tag type_category_emit_annotations type_category_emit_annotations
  
  c9d9744d
Apr 09, 2008
- Fixx LessOp and map subword regs to containing reg for data flow analyses. · f330bda5
  clc5q authored 16 years ago
  
  View commits for tag canonical_subword_regs canonical_subword_regs
  
  f330bda5
Apr 07, 2008
- Type inference for leaf functions nearing completion. · e4d81aa1
  clc5q authored 16 years ago
  
  e4d81aa1
Apr 02, 2008
- Add MOVS opcode to SMPUsesFlags[] · 79ff8b5e
  clc5q authored 16 years ago
  
  79ff8b5e
- Propagate DEF types to USEs; emit type annotations. · b1cb6292
  clc5q authored 16 years ago
  
  View commits for tag propagate_DEF_types propagate_DEF_types
  
  b1cb6292
Mar 29, 2008
- Beginning of type inference system on RTLs. · 5c08045d
  clc5q authored 17 years ago
  
  View commits for tag early_type_inference_work early_type_inference_work
  
  5c08045d
Mar 27, 2008
- Convert DefOrUseList to DefOrUseSet for instructions. · 9baed02f
  clc5q authored 17 years ago
  
  View commits for tag convert_to_DefOrUseSet convert_to_DefOrUseSet
  
  9baed02f
Mar 24, 2008
- Initial code to build RTLs and infer operand types. · 4460a0c3
  clc5q authored 17 years ago
  
  View commits for tag initial_RTL_design initial_RTL_design
  
  4460a0c3