Posts for August 26, 2022 2022-08-26Abstract and symbolic execution notes (with possible application on reverse engineering)