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

Snippets Groups Projects

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 16, 2008
- Infer Phi DEFs from instruction USEs. · 7fed4604
  clc5q authored 16 years ago
  
  View commits for tag infer_phi_DEFs infer_phi_DEFs
  
  7fed4604
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
- Code cleanup; speed up PropagateLocalDefType(). · 06e4a2bf
  clc5q authored 16 years ago
  
  06e4a2bf
- Infer local POINTER DEF from any POINTER USE; fix add/sub/interrupt problems. · 3bebaac3
  clc5q authored 16 years ago
  
  3bebaac3
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 08, 2008
- Handel fall-through from conditional tail calls; gather Phi DEF type inference stats. · 9a267dcf
  clc5q authored 16 years ago
  
  View commits for tag conditional_tail_call conditional_tail_call
  
  9a267dcf
May 07, 2008
- Fix propagation of Phi DEFs by resetting the block processed flags first. · a3861529
  clc5q authored 16 years ago
  
  View commits for tag phi_propagation_fix1 phi_propagation_fix1
  
  a3861529
May 06, 2008
- Add comment. · 2da3de3c
  clc5q authored 16 years ago
  
  2da3de3c
May 03, 2008
- Treat tail calls as returns, not as far chunk branches. · 6cf2c9d4
  clc5q authored 16 years ago
  
  View commits for tag analyze_tail_calls analyze_tail_calls
  
  6cf2c9d4
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
- Disable back type inference for indirect memory operands; Fix DEF/no-USE case;... · 67d9b170
  clc5q authored 16 years ago
  
  Disable back type inference for indirect memory operands; Fix DEF/no-USE case; pretty up Dump() output.
  67d9b170
Apr 21, 2008
- Trivial debug output changes. · e95c824e
  clc5q authored 16 years ago
  
  e95c824e
Apr 20, 2008
- Reduce debug output. · 30dd2a80
  clc5q authored 16 years ago
  
  30dd2a80
Apr 15, 2008
- Tabify, and fix boundary cases in, global DEADREGS code. · 4620caf7
  clc5q authored 16 years ago
  
  4620caf7
- Integrate Kevin Binswanger's global dead register analysis. · 256f6b47
  clc5q authored 16 years ago
  
  View commits for tag kevinb_global_deadregs kevinb_global_deadregs
  
  256f6b47
Apr 08, 2008
- Initialize Processed flag in constructor. · 7f9870da
  clc5q authored 17 years ago
  
  7f9870da
Apr 03, 2008
- Limit SSA to functions without indirect jumps; phi type propagation fixes · 8d8fc5f2
  clc5q authored 17 years ago
  
  View commits for tag fixed_apache_crash fixed_apache_crash
  
  8d8fc5f2
Apr 02, 2008
- Infer DEF type from USEs. · eac033d1
  clc5q authored 17 years ago
  
  View commits for tag infer_DEF_type infer_DEF_type
  
  eac033d1
- Propagate DEF types to USEs; emit type annotations. · b1cb6292
  clc5q authored 17 years ago
  
  View commits for tag propagate_DEF_types propagate_DEF_types
  
  b1cb6292
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
Feb 27, 2008
- Fix EFLAGS processing on last instruction in block in constructor. · 1cd2c0a1
  clc5q authored 17 years ago
  
  1cd2c0a1
Feb 25, 2008
- Emit more dead EFLAGS annotations from functions with global EFLAGS uses. · 343aacab
  clc5q authored 17 years ago
  
  343aacab
Feb 22, 2008
- Restructured code into SMPProgram module; fixed shl/shr instructions in SMPUsesFlags. · feff40a5
  clc5q authored 17 years ago
  
  feff40a5
Feb 21, 2008
- Fix for EFLAGS DEADREGS annotations; begin stack var granularity code. · 329b72e0
  clc5q authored 17 years ago
  
  329b72e0
Feb 11, 2008
- SSA renumber local names; local def-use chains; emit local dead registers... · 73509b19
  clc5q authored 17 years ago
  
  SSA renumber local names; local def-use chains; emit local dead registers annotations using Sudeep's EFLAGS arrays.
  73509b19
Feb 02, 2008
- Massive SSA renumbering update; start of type inference system. · 9c747f01
  clc5q authored 17 years ago
  
  9c747f01
Jan 21, 2008
- Initial revision; split from SMPDataFlowAnalysis module. · 22cefa6c
  clc5q authored 17 years ago
  
  22cefa6c