Talk:Symbolic execution
Add topic | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
This article could use a more complex example that showed its steps. The topic is important and is barely defined, and ambiguously grouped with some other techniques that I think are not similar. — Preceding unsigned comment added by 70.162.166.118 (talk) 05:06, 22 August 2012 (UTC)
cbmc
[edit]This list misses cbmc, the first of all such engines. It's widely used in the industry https://www.cprover.org/cbmc/ ReiniUrban (talk) 16:16, 20 January 2021 (UTC)
- CBMC is a model checker and not a symbolic execution engine. 151.226.67.227 (talk) 20:50, 10 June 2022 (UTC)
BinLens does symbolic execution
[edit]This product does symbolic execution, see https://objectsecurity.com/symbolic-execution/ - it has been funded by the Navy/DARPA/Army and others under the SBIR program to develop symbolic execution features. I'd like to add a row to the tools table - would this be ok? Ulrichlang (talk) 17:58, 23 July 2026 (UTC)
- Looks good to me. According to your user page, you are involved with ObjectSecurity, which means you have a WP:COI, but I'm sure you know the rules. :-) I wonder if https://objectsecurity.com/binlens/ would be a better link, since it's about the tool in general, and the URLs in the tools table generally point to the main page about the tool, as far as I can tell. — Chrisahn (talk) 18:54, 23 July 2026 (UTC)