{"id":18422423,"url":"https://github.com/sri-csl/bixie","last_synced_at":"2025-04-07T14:32:45.937Z","repository":{"id":75667540,"uuid":"43257733","full_name":"SRI-CSL/bixie","owner":"SRI-CSL","description":"Inconsistent code detection for Java.","archived":false,"fork":false,"pushed_at":"2018-01-26T16:58:19.000Z","size":33595,"stargazers_count":14,"open_issues_count":2,"forks_count":6,"subscribers_count":15,"default_branch":"master","last_synced_at":"2025-03-22T19:45:58.621Z","etag":null,"topics":["inconsistency","java","program-analysis","static-analysis","static-analyzer"],"latest_commit_sha":null,"homepage":"http://sri-csl.github.io/bixie/","language":"Java","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/SRI-CSL.png","metadata":{"files":{"readme":"README.md","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":"2015-09-27T17:55:18.000Z","updated_at":"2024-08-23T20:39:16.000Z","dependencies_parsed_at":null,"dependency_job_id":"a9a7a0ac-fbec-4171-9a46-c4b9a2a68601","html_url":"https://github.com/SRI-CSL/bixie","commit_stats":null,"previous_names":[],"tags_count":8,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fbixie","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fbixie/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fbixie/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fbixie/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/SRI-CSL","download_url":"https://codeload.github.com/SRI-CSL/bixie/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247670206,"owners_count":20976525,"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":["inconsistency","java","program-analysis","static-analysis","static-analyzer"],"created_at":"2024-11-06T04:29:44.047Z","updated_at":"2025-04-07T14:32:45.931Z","avatar_url":"https://github.com/SRI-CSL.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"![Bixie](https://raw.githubusercontent.com/SRI-CSL/bixie/gh-pages/img/bixie_small.png) Inconsistent Code Detection for Java\n=====\n#### Status of Master\n[![Build Status](https://travis-ci.org/SRI-CSL/bixie.png?branch=master)](https://travis-ci.org/SRI-CSL/bixie)\n[![Coverage Status](https://coveralls.io/repos/SRI-CSL/bixie/badge.svg?branch=master)](https://coveralls.io/r/SRI-CSL/bixie?branch=master) \n\n#### Status of Devel\n[![Build Status](https://travis-ci.org/SRI-CSL/bixie.png?branch=devel)](https://travis-ci.org/SRI-CSL/bixie)\n[![Coverage Status](https://coveralls.io/repos/SRI-CSL/bixie/badge.svg?branch=devel)](https://coveralls.io/r/SRI-CSL/bixie?branch=devel) \n\nCheck our the **[Online Demo](http://csl.sri.com/projects/bixie/)**.\n\nBixie is a static analysis tool that detects inconsistencies in Java bytecode. An inconsistency occurs when code must throw an exception or is unreachable because because of assumptions made by other statements. \n\n##### Examples\n\n\t if (operator == null) {\n\t \tthrow new SemanticException(\"Operator \" + operator.getName());\n\t }\n\nIn this example from Hive, `operator.getName()` is inconsistent with the conditional\n`operator == null`. \n\nIn this example from Cassandra:\n\t\n\tpublic Boolean generate() {\n\t\treturn identityDistribution.next() % 1 == 0;\n\t}\n\nThere is an inconsistency in the bytecode because the expression `identityDistribution.next() % 1 == 0` appears as a conditional choice in the bytecode, and one case is unreachable because `identityDistribution.next() % 1` returns a constant value.\n\n\n#### Build instructions\n\nBixie uses gradle to build:\n\n\tgit clone https://github.com/SRI-CSL/bixie.git\n\tcd bixie\n    ./gradlew shadowJar\n\n#### Usage example\nTo check if everything is working, run Bixie on itself:\n\n\tcd build/libs/\n\tjava -jar bixie.jar -j ../classes/main/\n\n#### Bixie runner\nFor your convenience, there is a Python script (runner/runner.py) that will automatically determine what classpaths to use and where class files are generated, and then invoke Bixie. It works for projects built with ant, maven, or gradle. For example:\n\n\tcd \u003cpath-to-project\u003e\n\tmvn clean\n\tpython \u003cpath-to-bixie\u003e/runner/runner.py -- mvn compile\n\nThis command will execute the maven build process for the project and scrape its output for instances where javac was called, then feed that information to Bixie. Be sure to clean before building, as the tool can only detect files that were actually compiled while it is observing.\n\n#### Soundness remarks\nBixie is not sound. Many Java features, such as concurrency and reflection, are not handled by Bixie and may result in false alarms. Bixie also sometimes detects inconsistencies in the bytecode that have no corresponding inconsistency in the source code. For example, conditional choices with conjunctions in the condition sometimes raise false alarms.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsri-csl%2Fbixie","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsri-csl%2Fbixie","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsri-csl%2Fbixie/lists"}