Post #1025 56 Dec 23, 2020, 14:45 UTC Symbolic execution by compilation with SymCChttps://www.youtube.com/watch?v=htDrNBiL7Y8 YouTube Symbolic execution by compilation with SymCC Follow David on Twitter @Davkorcz: https://twitter.com/Davkorcz Follow us on Twitter: @ADALogics at https://twitter.com/ADALogics This video gives an introduction to SymCC SymCC paper and author presentation: https://www.usenix.org/conference/usenixsecu…