M Monic Blog company blog

A gentle introduction to symbolic execution

blog.monic.co

Points

190

HN comments

27

Submissions

1

Cited by

0 commenters

Software EngineeringSecurity & Privacy2019

Related posts from the same era

My Business Card Runs Linux

ThirtyThreeForty20192,595 points455 commentscited by 8 details

The End of the Redis Adventure

Salvatore Sanfilippo (antirez)20202,282 points294 commentscited by 10 details

Deno 1.0

Deno Blog20202,081 points583 comments details

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

MacOS Catalina: Slow by Design?

Allan Odgaard20202,031 points1,122 commentscited by 5 details

The Day AppGet Died

Keivan Beigi20201,930 points655 commentscited by 17 details