https://unicorn-dev.medium.com/catch-vulnerability-on-your-own-user-annotations-for-c-code-ab4fdcf29221