symex-intro

Material for an introductory presentation for symbolic execution.

git clone https://git.8pit.net/symex-intro.git

 1(list (channel
 2       (name 'guix)
 3       (url "https://git.guix.gnu.org/guix.git")
 4       (branch "master")
 5       (commit "1fd6e187db78edefac9c86ca02fe8f6f8650bf30")
 6       (introduction
 7        (make-channel-introduction
 8         "9edb3f66fd807b096b48283debdcddccfea34bad"
 9         (openpgp-fingerprint
10          "BBB0 2DDF 2CEA F6A8 0D1D  E643 A2A0 6DF2 A33A 54FA")))))