GitHub / cesaro / dpu

Dynamic analysis of multithreaded C programs

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cesaro%2Fdpu
PURL: pkg:github/cesaro/dpu

Stars: 13
Forks: 3
Open issues: 0

License: gpl-2.0
Language: C
Size: 61.1 MB
Dependencies parsed at: Pending

Created at: over 8 years ago
Updated at: 7 months ago
Pushed at: over 5 years ago
Last synced at: about 10 hours ago

Topics: concurrency, dynamic-analysis, formal-verification, llvm, multithreading, partial-order-reduction, program-analysis

Loading...