A curated list of research resources in automated vulnerability detection (AVD) - View it on GitHub