I made some good progress on my #SymbolicExecution tool for the #QBE intermediate language. The tool is now capable of exploring C software compiled to QBE using a QBE frontend like cproc (a small C11 compiler).

As an example, it is possible to enumerate prime numbers in a horribly inefficient manner through symbolic exploration of a C function: https://git.8pit.net/qsym/golden/prime.html

📢 Don’t forget to sign up for one of our advanced hands-on #infosec trainings! The final week of #RETURN23XPLOIT is only a few days away. Our trainings offer hands-on instruction from top industry experts. Learn all about #Ventura #Exploitation, #SymbolicExecution, #ReverseEngineering, #Cryptography & more. Don't miss out - register now!

https://ringzer0.training/

#cybersecurity #training

Level up your #cybersecurity skills with #RETURN23XPLOIT! Our trainings offer hands-on instruction from top industry experts. In week 2, learn #Ventura #Exploitation, #SymbolicExecution, #ReverseEngineering, #Cryptography & more. Don't miss out!

https://ringzer0.training/

#infosec #training

#angr is the only #symbolicexecution framework I have ever used.

Has anyone used others like manticore or triton? How do they stack up against angr?

Our paper on #SymbolicExecution of stateful network protocol implementations for embedded operating systems like @RIOT_OS and Zephyr is now available. As part of the experiments, we found three previously unknown bugs in RIOT's MQTT-SN implementation which were missed by prior #fuzzing tests.

https://doi.org/10.1109/JIOT.2023.3236694

How I gave ManticoreUI a makeover - By Calvin Fong
During my internship at Trail of Bits, I explored the effectiveness... https://blog.trailofbits.com/2022/12/15/manitcoreui-symbolic-execution-gui/ #symbolicexecution #manticore

Manticore GUIs made easy - By Wong Kok Rui, National University of Singapore
Trail of Bits maintains Manticor... https://blog.trailofbits.com/2022/12/13/manticore-gui-plugin-binary-ninja-ghidra/ #symbolicexecution #binaryninja #manticore #ghidra

Maat: Symbolic execution made easy - By Boyan Milanov
We have released Maat, a cross-architecture, multi-purpose, and u... https://blog.trailofbits.com/2022/02/23/maat-symbolic-execution-made-easy/ #symbolicexecution #uncategorized

MUI: Visualizing symbolic execution with Manticore and Binary Ninja - By Alan Chang, University of Oxford
During my summer internship, I had the wonderf... https://blog.trailofbits.com/2021/11/17/mui-visualizing-symbolic-execution-with-manticore-and-binary-ninja/ #internshipprojects #symbolicexecution #binaryninja #manticore

Contract verification made easier - Smart contract authors can now express security properties in the same language they use to write ... more: https://blog.trailofbits.com/2020/07/12/new-manticore-verifier-for-smart-contracts/ #symbolicexecution #blockchain #manticore

Manticore discovers the ENS bug - The Ethereum Name Service (ENS) contract recently suffered from a critical bug that prompted a secur... more: https://blog.trailofbits.com/2020/03/03/manticore-discovers-the-ens-bug/ #symbolicexecution #blockchain #manticore #exploits

Symbolically Executing WebAssembly in Manticore - With the release of Manticore 0.3.3, we’re proud to announce support for symbolically executing WebA... more: https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/ #symbolicexecution #webassembly #manticore #symex #wasm

Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

Thanks in advance!