Leo

I am trying to analyze the following LLVM IR code: ```llvm ; ModuleID = 'struct2.ll' target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" %struct.foo = type { i32* } ;...

Points-to analysis does not detect dereferences in optimized LLVM IR

2

Hello, I have been using cclyzer for running points-to analyses on some C programs. I have run into a potential issue. I have been looking at the results in `pointer-dereferences.tsv`...