Hi,
> On 25 Mar 2015, at 20:52, Anitha B Gollamudi
> wrote:
>
> On 25 March 2015 at 16:51, Anitha B Gollamudi
> 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
On 25 March 2015 at 16:51, Anitha B Gollamudi 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 specifying length?
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!),
