{"id":19364486,"url":"https://github.com/math2001/ubc","last_synced_at":"2025-07-27T23:38:39.427Z","repository":{"id":74807383,"uuid":"569123337","full_name":"math2001/ubc","owner":"math2001","description":null,"archived":false,"fork":false,"pushed_at":"2023-07-13T05:16:11.000Z","size":835,"stargazers_count":0,"open_issues_count":1,"forks_count":2,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-01-06T20:52:19.845Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/math2001.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2022-11-22T06:03:43.000Z","updated_at":"2022-12-08T00:45:25.000Z","dependencies_parsed_at":"2024-11-10T07:37:43.575Z","dependency_job_id":"484f79e3-7f20-4f8b-b40f-35e30fb873c7","html_url":"https://github.com/math2001/ubc","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/math2001%2Fubc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math2001%2Fubc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math2001%2Fubc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math2001%2Fubc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/math2001","download_url":"https://codeload.github.com/math2001/ubc/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240483765,"owners_count":19808636,"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":[],"created_at":"2024-11-10T07:37:31.149Z","updated_at":"2025-02-24T13:13:36.527Z","avatar_url":"https://github.com/math2001.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"Undefined behavior C\n====================\n\nSetup\n-----\n\nInstall the pre commit hook.\n\n    ln -s \"$PWD/pre-commit\" .git/hooks/pre-commit\n\nInstall pytest and dot (for visualizing the CFG)\n\nRun the tests:\n\n    pytest\n\nType verification:\n\n    mypy --strict .\n\nCode formatting:\n\n    find -name '*.py' | xargs autopep8 -i\n\nUsage\n-----\n\nTo convert C to graph lang\n\n    env TV_ROOT=... L4V_ARCH=RISCV64 bash make-graph-from-c.sh \u003cin.c\u003e \u003cout.txt\u003e\n\nTo use ubc:\n\n    usage: python3 main.py [options] \u003cgraphfile.txt\u003e function-names...\n\n      --show-graph: Show the graph lang\n      --show-dsa: Show the graph after having applied dynamic single assignment\n      --show-ap: Show the assume prove prog\n      --show-smt: Show the SMT given to the solvers\n      --show-sats: Show the raw results from the smt solvers (sat/unsat)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmath2001%2Fubc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmath2001%2Fubc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmath2001%2Fubc/lists"}