[LLVMdev] generate ponter/array access bounds expressions

[Henrique Santos]

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>