adiff

โ˜… 12 Open GitHub โ†—

Tool for differentially testing soundness and precision of program analyzers

Explore Similar Repositories

mica : A PPX deriver that automates differential testing for OCaml modules
csa-testbench : Toolset to do differential testing on the Clang Static Analyzer
local-dp-protocols : ๐ŸŽ“๐Ÿ”’ Creating, Analyzing and Testing Differential Privacy Protocols, aiming in Data Protection and Anonymization.
SPIRVSmith : A differential testing tool targeting SPIRV based on structured fuzzing techniques
Test_Awareness_Steering : Code for the paper: Linear Control of Test Awareness Reveals Differential Compliance in Reasoning Models
// repository documentation