{"id":20154054,"url":"https://github.com/vaeb/uom-63342","last_synced_at":"2026-04-14T02:31:01.551Z","repository":{"id":84503571,"uuid":"490755443","full_name":"Vaeb/UoM-63342","owner":"Vaeb","description":null,"archived":false,"fork":false,"pushed_at":"2022-05-20T16:46:04.000Z","size":104,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-03-03T01:29:57.145Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Java","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/Vaeb.png","metadata":{"files":{"readme":"README.md","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-05-10T15:24:57.000Z","updated_at":"2022-05-20T02:16:17.000Z","dependencies_parsed_at":"2023-03-12T23:11:42.664Z","dependency_job_id":null,"html_url":"https://github.com/Vaeb/UoM-63342","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Vaeb/UoM-63342","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Vaeb%2FUoM-63342","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Vaeb%2FUoM-63342/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Vaeb%2FUoM-63342/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Vaeb%2FUoM-63342/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Vaeb","download_url":"https://codeload.github.com/Vaeb/UoM-63342/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Vaeb%2FUoM-63342/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31779942,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-14T02:24:21.117Z","status":"ssl_error","status_checked_at":"2026-04-14T02:24:20.627Z","response_time":153,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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-13T23:24:35.178Z","updated_at":"2026-04-14T02:31:01.534Z","avatar_url":"https://github.com/Vaeb.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"# UoM-63342\n\nThe program that I have developed for the seminar will generate new Java files to reproduce vulnerabilities discovered by JBMC (Java Bounded Model Checking). Works successfully, although there are limitations to the acceptable nondeterministic data types. Current acceptable nondeterministic data types:\n- Ints\n- Floats\n- Doubles\n- Strings\n\n### Examples:\n\nRun against a single Java class file named 'Simple':\n```\nnode src/counterexample.js --unwind 5 --path src/Simple\n```\nRun against all SV-COMP tests:\n```\nnode src/counterexample.js --unwind 5 --path svc\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvaeb%2Fuom-63342","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fvaeb%2Fuom-63342","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvaeb%2Fuom-63342/lists"}