smackers/whoop smackers/whoop

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    C
  • License
    Other
  • Created almost 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
smackers/whoop
github

smackers

Reviews

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

Repository Details

automatic data race analysis for Linux device drivers

More Repositories

1

smack

SMACK Software Verifier and Verification Toolchain
C
416
star
2

sbb

SMACK Boogie Benchmarks
3
star
3

lockpwn

blazing fast symbolic analysis for concurrent C programs
C#
3
star
4

smack-images

Shell
2
star
5

smack-rust-regressions

Regression tests for Rust support in SMACK
Rust
2
star
6

smackd

Eclipse Plugin for Debugging with SMACK
Java
1
star