llvm dev - Jun 2013 - [LLVMdev] generate ponter/array access bounds expressions

What did you mean by "array access bounds expressions"?
If you want to do something along the lines of constraint-based bounds check
elimination, you can check out SAFECode.
I don't think KLEE would be very useful for proving the safety of memory
accesses, rather the lack thereof. Also, KLEE doesn't handle symbolic array
sizes.

If you can give more details about your project, someone might be able to help
out a bit more. : )

H.

----- Original Message -----
From: Eric Lu
Sent: 06/04/13 10:20 AM
To: LLVM Developers Mailing List
Subject: [LLVMdev] generate ponter/array access bounds expressions

Hello, 

 I want to generate pointer/array access bounds expressions within LLVM. I have
read some docs about symbolic and KLEE, but I am not sure if there are some
better methods.

 I guess it is possible to do it with symbolic execution[1]， but I think it is a
little complex to do my project with klee. It seems I need to do some work like
in [1] to KLEE to finish my project.

 And I wonder if there are some better methods available in LLVM IR? I.E. are
there exmple code in SAFECode?

Or are there some better ways to do this?

[1] Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory
Regions

Thanks!

Eric
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130604/1f0eeca1/attachment.html>