<div dir="ltr">Hello, <div>  </div><div style>  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. </div>
<div style>  </div><div style>  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.</div>
<div style><br></div><div style>   And I wonder if  there are some better methods available in LLVM IR?  I.E. are there exmple code  in SAFECode? </div><div style><br></div><div style>Or are there some better ways to do this?</div>
<div style><br></div><div style><br></div><div style>[1] <span lang="EN-US" style><span style="font-size:7pt;font-family:'Times New Roman'">  </span></span><span lang="EN-US" style>Symbolic Bounds Analysis of
Pointers, Array Indices, and Accessed Memory Regions</span></div><div style><span lang="EN-US" style><br></span></div><div style><span lang="EN-US" style><br></span></div><div style><span lang="EN-US" style>Thanks!</span></div>
<div style><span lang="EN-US" style><br></span></div><div style><span lang="EN-US" style>Eric</span></div><p class="" style="margin-left:35.45pt"><span lang="EN-US"></span></p></div>