Source code for the symbolic TopHat execution engine

B2FIND2026-04-29 收录

符号执行引擎

编程语言

数据链接：

https://b2find.eudat.eu/dataset/b58782d1-ffdf-5b81-a10f-60b5050186ba 数据链接链接失效反馈

官方服务：

资源简介：

Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st...

BugSwarm

软件质量

编程语言

BugSwarm 是一个可重现故障和修复数据集，用于对软件质量方法进行实验评估。 BugSwarm 工具包已经用 Java 和 Python 收集了 3,091 个失败通过对，所有这些都打包在完全可重现的容器中。

OpenDataLab2026-07-12 更新540

编程语言

全球流行度

programming languages used by a common man in worldwide

kaggle2022-10-18 更新240

franlucc/py_rename_types_may3_seed-0-1_starcoderbase-1b_typechecked

编程语言

类型检查

--- dataset_info: features: - name: mutated_program dtype: string - name: mutations sequence: string - name: key dtype: string - name: prefix dtype: string - name: suffix

Hugging Face2024-05-08 更新170

Razvan27/network_paper

编程语言

数据去重

该数据集包含多个配置，主要涉及Java和Python编程语言的代码文件。每个配置包含文件名、文件路径、文件内容、文件大小、语言、扩展名、仓库名称、仓库星标数、仓库分叉数、仓库开放问题数、仓库创建时间和最后推送时间等特征字段。某些配置还包含去重相关的字段（如sha、near_dups_stkv2_idx等）。数据集的主要用途可能是用于代码分析、去重、相似性检测等任务。

Hugging Face2024-07-02 更新360

camel-ai/code

编程语言

人工智能交互

CAMEL Code数据集由50K个GPT-3.5-turbo代理之间的对话组成，模拟了特定编程语言的程序员与特定领域的人之间的对话。该数据集涵盖了20种编程语言和50个领域，每种语言和领域的组合有50个任务。数据集提供了两种格式：chat格式和instruction格式。chat格式包含对话式的指令跟随格式，而instruction格式则包含任务指令的JSON文件。数据字段详细描述了每种格式的结

Hugging Face2023-05-23 更新200

Source code for the symbolic TopHat execution engine

资源简介：

相关数据集