search for: shaobo

...that a is declared as int* and used as int* when *a = 256 happens while is used as char* afterwards. However, it seems that no node is collapsed when the analysis is finished. I was wondering if my understanding of DSA is correct or not. Suggestions from your guys are really appreciated. Best, Shaobo

...above idea, that would be great. If not, then don't worry, hopefully we'll figure it out on our own. Thanks! Best, -- Zvonimir -- http://zvonimir.info http://soarlab.org/ On Sun, Dec 14, 2014 at 10:11 AM, John Criswell <jtcriswel at gmail.com> wrote: > On 12/12/14, 8:14 PM, Shaobo wrote: >> >> Hi guys, >> >> I'm working on a project using DSA to mark the type-unsafe store >> operations. The example code is below, >> >>> int main() { >>> int *a = (int*)malloc(sizeof(int)); >>> >>> *a = 256; >>...

...> Best, >> -- Zvonimir >> >> >> >> -- >> http://zvonimir.info >> http://soarlab.org/ >> >> >> On Sun, Dec 14, 2014 at 10:11 AM, John Criswell <jtcriswel at gmail.com> >> wrote: >>> >>> On 12/12/14, 8:14 PM, Shaobo wrote: >>>> >>>> Hi guys, >>>> >>>> I'm working on a project using DSA to mark the type-unsafe store >>>> operations. The example code is below, >>>> >>>>> int main() { >>>>> int *a = (int*)m...

Hi, We just published our work that uses LLVM for software verification: Counterexample-Guided Bit-Precision Selection Shaobo He, Zvonimir Rakamaric Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017. Link: http://soarlab.org/2017/09/aplas2017-hr/ I would appreciate if someone could add it to your publication list. Thanks! -- Zvonimir -- http://zvonimir.info http://soar...