Dan,
Thanks for you answer. I think I've followed exactly the web site but
maybe I'm wrong. This eve I'll retry and send over here the output of the
command that you have suggested.
Thanks,
Alberto
On 25 Mar 2015 13:36, Dan Liew d...@su-root.co.uk wrote:
On 24 March 2015 at 21:16, Alberto
On 24 March 2015 at 21:16, Alberto Barbaro barbaro.albe...@gmail.com wrote:
Hi all,
I'm trying to set up klee with llvm 3.4 following the step by step guide.
Everything looks good apart the last step. When I execute lit -v . I have
this error:
Klee-uclibc.bca failed: invalid record loading
Hi,
Should I see the files contained in it?
I can see just not printable characters.. I followed the guide on the web
site. Any advice?
Thanks,
Alberto
On 25 Mar 2015 13:47, Alberto Barbaro barbaro.albe...@gmail.com wrote:
Dan,
Thanks for you answer. I think I've followed exactly the web site
On 25 March 2015 at 16:51, Anitha B Gollamudi anitha.boyap...@gmail.com wrote:
Hi,
I would like to use KLEE for string analysis (for analyzing SQL
injection vulnerabilities). Here are my concerns:
1. Can KLEE handle arbitrary length strings? Essentially, can I make a
'char *' symbolic with
Hi,
I would like to use KLEE for string analysis (for analyzing SQL
injection vulnerabilities). Here are my concerns:
1. Can KLEE handle arbitrary length strings? Essentially, can I make a
'char *' symbolic with specifying length?
2. Since STP cannot handle string constraints (correct me here!),