[klee-dev] Video games and embedded systems???

[Nowack, Martin]

Hi David,


Have a look at https://klee.github.io/publications for a multitude of use cases that KLEE has been used successfully:

That said, the larger your application is the more challenging it becomes to test it with any method.
In those cases it becomes useful to test parts of the application independently instead of focusing on the full application at once.

Best,
Martin




> On 5. Oct 2022, at 22:49, David Blubaugh <davidblubaugh2000 at yahoo.com> wrote:
> 
> KLEE dev question.  I was
> wondering if the KLEE environment has
> ever been used for a large application like a modern video game or
> for
> development or testing of an embedded system such as a
> microcontroller or
> FPGA?  Is this feasible????
> 
> 
> Thanks
> 
> 
> David
> 
> 
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev