Giacomo Cavalieri giacomocavalieri

## analysis.draft.md

      
              1 file
            
          
              55 forks
            
          
              0 comments
            
          
              339 stars
            
          
                MattPD
                / analysis.draft.md
            
            
              Last active
              July 18, 2024 21:09
            
              
                Program Analysis Resources (WIP draft) 
              
          
    Program Analysis Resources

(draft; work in progress)
See also:

Compilers

correctness


Program analysis:
Dynamic analysis - instrumentation, translation, sanitizers