Bingyu Shen byshen

## analysis.draft.md

      
              1 file
            
          
              45 forks
            
          
              0 comments
            
          
              281 stars
            
          
                MattPD
                / analysis.draft.md
            
            
              Last active
              May 31, 2023 08:00
            
              
                Program Analysis Resources (WIP draft) 
              
          
      View analysis.draft.md
  
      
    Program Analysis Resources
(draft; work in progress)
See also:

Compilers

correctness


Program analysis:
Dynamic analysis - instrumentation, translation, sanitizers