{"id":13485811,"url":"https://github.com/javapathfinder/jpf-core","last_synced_at":"2025-03-27T19:31:50.629Z","repository":{"id":29564164,"uuid":"92887912","full_name":"javapathfinder/jpf-core","owner":"javapathfinder","description":"JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.","archived":false,"fork":false,"pushed_at":"2024-03-29T19:04:51.000Z","size":2195,"stargazers_count":498,"open_issues_count":38,"forks_count":327,"subscribers_count":21,"default_branch":"master","last_synced_at":"2024-04-12T16:12:51.893Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","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/javapathfinder.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE-2.0.txt","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}},"created_at":"2017-05-31T00:28:26.000Z","updated_at":"2024-04-15T13:56:18.412Z","dependencies_parsed_at":"2024-01-15T16:31:06.055Z","dependency_job_id":"6154d23a-d23f-44be-9379-8f6094120028","html_url":"https://github.com/javapathfinder/jpf-core","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/javapathfinder%2Fjpf-core","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/javapathfinder%2Fjpf-core/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/javapathfinder%2Fjpf-core/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/javapathfinder%2Fjpf-core/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/javapathfinder","download_url":"https://codeload.github.com/javapathfinder/jpf-core/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245910926,"owners_count":20692517,"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-07-31T18:00:32.038Z","updated_at":"2025-03-27T19:31:50.615Z","avatar_url":"https://github.com/javapathfinder.png","language":"Java","funding_links":[],"categories":["Projects","项目","Programming Languages"],"sub_categories":["Formal Verification","形式验证"],"readme":"# Java PathFinder\n\nAn extensible software model checking framework for Java bytecode programs\n\n## General Information about JPF\n\nAll the latest developments, changes, documentation can be found on our\n[wiki](https://github.com/javapathfinder/jpf-core/wiki) page.\n\n## Building and Installing\n\nIf you are having problems installing and running JPF, please look at the [How\nto install\nJPF](https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF) guide.\n\nNote that we have transitioned to OpenJDK with the new version of JPF (for Java 11), so unlike branch `java-8`, the new default version for Java 11 no longer compiles using Oracle's JDK.\n\nWe have documented on the wiki a lot of common problems during the install and\nbuild processes reported by users.  If you are facing any issue, please, make\nsure that we have not addressed it in documentation. Otherwise, feel free to\ncontact us at java-pathfinder@googlegroups.com or open an issue on the Issue\nTracker.\n\n## Documentation\n\nThere is a constant effort to update and add JPF documentation on the wiki.\nIf you would like to contribute in that, please, contact us at\njava-pathfinder@googlegroups.com.\n\nContributions are welcomed and we encourage you to get involved with the\ncommunity.\n\nHappy Verification\n*-- the Java PathFinder team*\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjavapathfinder%2Fjpf-core","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjavapathfinder%2Fjpf-core","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjavapathfinder%2Fjpf-core/lists"}