This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural Static Analysis Framework for C/C++" by Philipp Dominik Schubert, Ben Hermann and Eric Bodden. The art

Figshare2019-12-11 更新30

Troid: Temporal and Cross-Sectional Android Dataset and Its Applications

恶意软件检测

静态程序分析

Numerous studies have focused on exploring Android malware in recent years, covering areas such as malware detection and application analysis. As a result, there is a pressing need for a reliable and

IEEE10

2022 Tracer Artifact

软件漏洞检测

静态程序分析

Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities

NIAID Data Ecosystem30

Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning"

静态程序分析

类型系统验证

This repository contains the dataset and scripts to reproduce Table 1 and Table 2 in the paper "Verifying the Option Type with Rely-Guarantee Reasoning". Requirements Please see REQUIREMENTS.md for

Zenodo2024-09-19 更新20

Memory-Efficient Fixpoint Computation

资源简介：

相关数据集