Add type info for `memcpy`

japaric / cargo-call-stack

Whole program static stack analysis

Apache License 2.0

579 stars 52 forks source link

Add type info for `memcpy` #42

Closed jonas-schievink closed 3 years ago

jonas-schievink commented 3 years ago

Fixes these warnings:

[2021-09-16T16:06:53Z WARN  cargo_call_stack] no type information for `memcpy`
[2021-09-16T16:06:54Z WARN  cargo_call_stack] the program contains untyped, external symbols (e.g. linked in from binary blobs); indirect function calls can not be bounded

japaric commented 3 years ago

Thanks! (it would be great to get these from llvm-ir instead of hard-coding them because there are other symbols that come up, e.g. memset)