[LLVMdev] secure virtual architecture / safecode
regehr at cs.utah.edu
Fri Mar 27 10:08:49 PDT 2009
On Wed, 25 Mar 2009, Vikram S. Adve wrote:
> We do have a static array bounds checking algorithm based on the Omega
> integer programming library, but it is not hugely effective. I think
> this can be strengthened a *lot*.
I should add that I would be interested in helping with hooking a good
decision procedure into LLVM. This will be useful far beyond array bounds
What is the current thinking? SMT solver?
More information about the llvm-dev