/clang-tools-extra

clang-tools-extra including sloopy. Sloopy computes heuristics to empirically determine difficulty of automated program analysis for loops in C programs.

Primary LanguageC++OtherNOASSERTION

No issues in this repository yet.