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