search for: dsg_bar

Displaying 1 result from an estimated 1 matches for "dsg_bar".

2008 Apr 03
2
[LLVMdev] problem with using DSA for a side-effect analysis
...ently, I am working on automatic inference of function frame conditions to be used in the modular verification tool for C I am developing. Here is a part of my algorithm I am not exactly sure how to do: Let's say function foo calls function bar, and they have corresponding DSGraphs DSG_foo and DSG_bar. Function bar modifies some memory locations that correspond to a set of DS nodes M from DSG_bar. I would like to map this set M onto the corresponding nodes (if they exist) in the DSG_foo, i.e. I would like to find out which nodes in the DSG_foo are potentially modified by a call to bar. Currentl...