Formally verified lifting of C-compiled x86-64 binaries.

Freek Verbeek Joshua A. Bockenek Zhoulai Fu Binoy Ravindran

Published in: PLDI (2022)

Keyphrases

wavelet transform
source code
real time
open source software
neural network
knowledge base
high level