[alias] add support for function pointers
We can conservatively dereference function pointers using the results of the points-to analysis.
Showing
- src/plugins/alias/README.md 0 additions, 1 deletionsrc/plugins/alias/README.md
- src/plugins/alias/src/analysis.ml 23 additions, 9 deletionssrc/plugins/alias/src/analysis.ml
- src/plugins/alias/tests/basic/oracle/pointer_call.res.oracle 11 additions, 10 deletionssrc/plugins/alias/tests/basic/oracle/pointer_call.res.oracle
Loading
Please register or sign in to comment