diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-06-04 11:54:26 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-10-09 21:34:43 +0100 |
| commit | a6e225f62810c1c35550b8de369e8720e6ec8a16 (patch) | |
| tree | c53197a0034805177b29008d0b288b2c34f930bb /lib/Module/WorkaroundLLVMPR39177.cpp | |
| parent | 838b0b1930da796f157cd6f4b11145de4d7c4e4e (diff) | |
| download | klee-a6e225f62810c1c35550b8de369e8720e6ec8a16.tar.gz | |
Explicitly track global variables in getDirectCallTarget
Global variables can't be a direct call target. Their values are read and treated as indirect call targets.
Diffstat (limited to 'lib/Module/WorkaroundLLVMPR39177.cpp')
0 files changed, 0 insertions, 0 deletions