Menu
Search

Forums

Forum Index

Thread overview
Symbolic execution
Sep 22, 2020
Imperatorn
Sep 22, 2020
drug
Sep 22, 2020
Imperatorn
September 22, 2020
Gravatar of ImperatornPosted by ImperatornReply
Imperatorn
Gravatar of Imperatorn


Reply
Does anyone know if there is a symbolic execution engine for D? Could I use klee?
September 22, 2020
Gravatar of drugPosted by drug
in reply to Imperatorn		Reply
drug
Gravatar of drug
Posted in reply to Imperatorn


Reply
On 9/22/20 2:20 PM, Imperatorn wrote:
> Does anyone know if there is a symbolic execution engine for D? Could I use klee?

https://theartofmachinery.com/2019/05/28/d_and_klee.html
September 22, 2020
Gravatar of ImperatornPosted by Imperatorn
in reply to drug		Reply
Imperatorn
Gravatar of Imperatorn
Posted in reply to drug


Reply
On Tuesday, 22 September 2020 at 11:44:12 UTC, drug wrote:
> On 9/22/20 2:20 PM, Imperatorn wrote:
>> Does anyone know if there is a symbolic execution engine for D? Could I use klee?
>
> https://theartofmachinery.com/2019/05/28/d_and_klee.html

Cool! I'll try that. So, there's no "native" D engine?