Btw, if anyone would like to run these experiments again and has a concolic execution engine or symex engine with state merging, I would be very interested in collaborating.https://twitter.com/moyix/status/996419570268327936 …
I bet @yan @markmossberg and @feliam would like to get their hands on that dataset. FWIW we're hiring another full-time Manticore developer right now ;-)
-
-
That can definitely be achieved. Have them drop John or I a mail. We're releasing the data set pretty soon anyway.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.