tag: symbion


symbion: fusing concrete and symbolic execution
Learn how to symbolically execute real-world binaries by fusing concrete and symbolic execution