Dataset for semantic-enhanced indirect call solver

NIAID Data Ecosystem2026-05-02 收录

程序分析

间接调用解析

数据链接：

https://zenodo.org/record/13293463 数据链接链接失效反馈

官方服务：

资源简介：

datasets among 31 projects for SEA

创建时间：

2024-08-11

EquiBench

程序分析

代码推理

EquiBench是一个包含2400对程序的数据集，这些程序对涵盖了四种编程语言（Python、C、CUDA和x86-64汇编）和六个等价类别。该数据集通过程序分析、编译器调度和超优化技术自动生成，包含了要求深度语义推理的复杂结构转换。数据集旨在评估大型语言模型在代码推理方面的能力，特别是在等价性检查任务上。

arXiv2025-02-18 更新880

Verification of Safety Critical Systems using Program Analysis and Model Checking

安全关键系统

程序分析

The PhD Series of the Faculty of Engineering and Science, Aalborg University

DataCite Commons2020-09-18 更新130

minimario/apps_partial_0_300

程序分析

机器学习

--- dataset_info: features: - name: problem dtype: string - name: code dtype: string - name: label dtype: int64 - name: full_sample dtype: string - name: where_from dty

Hugging Face2023-03-13 更新90

汕尾市善美村居小程序用户访问信息

程序分析

区域信息化

该数据为2021年至今广东省汕尾市善美村居小程序访问信息，包含行政区划代码、统计时间、访问量等内容，是对善美村居小程序访问信息的变动情况进行跟踪、采集、分析、预测、公布的活动。

开放广东2026-07-15 更新170

Mobile events from analytics libraries

程序分析

数据匿名化

This dataset contains events captured from analytics libraries generated from 25 different applications. Each dataset has been converted to transactional data and on each of it has been executed a loc

Mendeley Data2024-01-31 更新110

Dataset for semantic-enhanced indirect call solver

资源简介：

相关数据集