{"id":21674954,"url":"https://github.com/jwilk/detsan","last_synced_at":"2025-05-08T23:11:00.452Z","repository":{"id":89560108,"uuid":"107882409","full_name":"jwilk/detsan","owner":"jwilk","description":"determinism sanitizer","archived":false,"fork":false,"pushed_at":"2025-03-29T17:16:08.000Z","size":37,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-31T19:12:21.311Z","etag":null,"topics":["fuzzing","qa","security"],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jwilk.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-10-22T16:19:48.000Z","updated_at":"2025-03-29T17:16:12.000Z","dependencies_parsed_at":null,"dependency_job_id":"ae7ee6e5-c649-478c-8f57-35e55f6a7a3b","html_url":"https://github.com/jwilk/detsan","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwilk%2Fdetsan","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwilk%2Fdetsan/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwilk%2Fdetsan/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwilk%2Fdetsan/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jwilk","download_url":"https://codeload.github.com/jwilk/detsan/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253160776,"owners_count":21863630,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["fuzzing","qa","security"],"created_at":"2024-11-25T13:50:24.953Z","updated_at":"2025-05-08T23:11:00.430Z","avatar_url":"https://github.com/jwilk.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"Overview\n========\n\n**detsan** leverages `clang's code coverage instrumentation\n\u003chttps://clang.llvm.org/docs/SanitizerCoverage.html\u003e`_\nto help you find sources of non-determinism in C (or C++) programs.\n\n.. code:: console\n\n   $ cat -n target.c\n        1   #include \u003cstdio.h\u003e\n        2   #include \u003cstdlib.h\u003e\n        3\n        4   int main(int argc, char **argv)\n        5   {\n        6       FILE *fp = fopen(\"/dev/urandom\", \"r\");\n        7       if (fp == NULL)\n        8           abort();\n        9       unsigned int v;\n       10       size_t r = fread(\u0026v, sizeof v, 1, fp);\n       11       if (r != 1)\n       12           abort();\n       13       if (v \u0026 1U)\n       14           puts(\"Looks like an odd number to me!\");\n       15       else\n       16           puts(\"An even number? How quaint!\");\n       17       fclose(fp);\n       18       return 0;\n       19   }\n\n   $ clang -g -fsanitize-coverage=trace-pc-guard -fsanitize=address target.c -o target\n\n   $ detsan ./target\n   + /path/to/target.c:16:9 (main)\n   - /path/to/target.c:14:9 (main)\n\nPrerequisites\n=============\n\n* Python ≥ 3.6\n\n* Clang ≥ 4.0\n\n.. vim:ft=rst ts=3 sts=3 sw=3 et\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjwilk%2Fdetsan","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjwilk%2Fdetsan","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjwilk%2Fdetsan/lists"}