Use memory dependency analysis to implement LimitAnalyser API

toaarnio / llvm-ir-memprotect

LLVM IR instrumentation for protection against out-of-bounds memory accesses

Mozilla Public License 2.0

9 stars 2 forks source link

Use memory dependency analysis to implement LimitAnalyser API #4

Closed elhigu closed 11 years ago

elhigu commented 11 years ago

Program should be able to ask from limit analyser all the places where limit checks are required and to which LimitAreaSet it should respect.

elhigu commented 11 years ago

Couldn't get anything useful for us from the data MemoryDependencyManager gave us. Implemented LimitAnalyser with old code that already traced dependencies in SSA. Also added some extra information about store locations to be able to implement in future better analysis that also resolves most of the cases where multiple assignments derived from different function arguments are traced correctly depending on store / load locations in code.