FloridSleeves/ValueCheck FloridSleeves/ValueCheck

  • Stars
    star
    3
  • Rank 3,894,887 (Top 79 %)
  • Language
    C++
  • License
    MIT License
  • Created 9 months ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FloridSleeves/ValueCheck
github

FloridSleeves

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Code release of our paper "Effective Bug Detection with Unused Definitions" in EuroSys 2024

More Repositories

1

LLMDebugger

LDB: A Large Language Model Debugger via Verifying Runtime Execution Step by Step
Python
228
star
2

RobustAPI

A dataset to study API misuse in code generated by models
Java
10
star
3

os-experiment-4

os experiment 4 CVE-2016-5195
C
1
star