Dominik Honnef dominikh

## analysis.draft.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                dominikh
                / analysis.draft.md
            
            
              Created
              April 29, 2022 21:10
                — forked from MattPD/analysis.draft.md
            
              
                Program Analysis Resources (WIP draft) 
              
          
    Program Analysis Resources

(draft; work in progress)
See also:

Compilers

correctness


Program analysis:
Dynamic analysis - instrumentation, translation, sanitizers


## run.rb
#!/usr/bin/env ruby

# Extended Mind
# Wikipedia checker, the concept is that for any Wikipedia article you can
# eventually get to the article on Philosophy if you click the first link
# on the article.
# http://xkcd.com/903 (see alt text)

require 'open-uri'
require 'nokogiri'
	#!/usr/bin/env ruby

	# Extended Mind
	# Wikipedia checker, the concept is that for any Wikipedia article you can
	# eventually get to the article on Philosophy if you click the first link
	# on the article.
	# http://xkcd.com/903 (see alt text)

	require 'open-uri'
	require 'nokogiri'