Infrared: A Meta Bug Detector
The recent breakthroughs in deep learning methods have sparked a wave of interest in learning-based bug detectors. Compared to the traditional static analysis tools, these bug detectors are directly learned from data, thus, easier to create. On the other hand, they are difficult to train, requiring a large amount of data which is not readily available. In this paper, we propose a new approach, called meta bug detection, which offers three crucial advantages over existing learning-based bug detectors: bug-type generic (i.e., capable of catching the types of bugs that are totally unobserved during training), self-explainable (i.e., capable of explaining its own prediction without any external interpretability methods) and sample efficient (i.e., requiring substantially less training data than standard bug detectors). Our extensive evaluation shows our meta bug detector (MBD) is effective in catching a variety of bugs including null pointer dereference, array index out-of-bound, file handle leak, and even data races in concurrent programs; in the process MBD also significantly outperforms several noteworthy baselines including Facebook Infer, a prominent static analysis tool, and FICS, the latest anomaly detection method.
Code (0)
등록된 구현이 없습니다.
Tasks
Anomaly DetectionSimilar Papers 제목 키워드 기반
Non-dispersive infrared multi-gas sensing via nanoantenna integrated narrowband detectors
Non-dispersive infrared (NDIR) spectroscopy analyzes the concentration of target gases based on their characteristic infrared absorption. In conventional NDIR gas sensors, an infrared detector has to pair with a bandpass…
Meta-Learning for Color-to-Infrared Cross-Modal Style Transfer
Recent object detection models for infrared (IR) imagery are based upon deep neural networks (DNNs) and require large amounts of labeled training imagery. However, publicly available datasets that can be used for such tr…
DiversityMeta-LearningObject DetectionStyle TransferTwo-stage optimized unified adversarial patch for attacking visible-infrared cross-modal detectors in the physical world
Currently, many studies have addressed security concerns related to visible and infrared detectors independently. In practical scenarios, utilizing cross-modal detectors for tasks proves more reliable than relying on sin…
Infrared Adversarial Car Stickers
Infrared physical adversarial examples are of great significance for studying the security of infrared AI systems that are widely used in our lives such as autonomous driving. Previous infrared physical attacks mainly fo…
Autonomous DrivingPedestrian DetectionFooling thermal infrared pedestrian detectors in real world using small bulbs
Thermal infrared detection systems play an important role in many areas such as night security, autonomous driving, and body temperature detection. They have the unique advantages of passive imaging, temperature sensitiv…
Autonomous Drivingobject-detectionObject Detection