Thread overview | |||||
---|---|---|---|---|---|
|
September 22, 2020 Symbolic execution | ||||
---|---|---|---|---|
| ||||
Does anyone know if there is a symbolic execution engine for D? Could I use klee? |
September 22, 2020 Re: Symbolic execution | ||||
---|---|---|---|---|
| ||||
Posted in reply to Imperatorn | 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 Re: Symbolic execution | ||||
---|---|---|---|---|
| ||||
Posted in reply to drug | 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?
|
Copyright © 1999-2021 by the D Language Foundation