{"id":22409427,"url":"https://github.com/ilyasergey/reachability","last_synced_at":"2025-10-05T14:48:20.818Z","repository":{"id":2695819,"uuid":"3689099","full_name":"ilyasergey/reachability","owner":"ilyasergey","description":"Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language","archived":false,"fork":false,"pushed_at":"2015-11-24T12:34:49.000Z","size":24395,"stargazers_count":27,"open_issues_count":0,"forks_count":4,"subscribers_count":6,"default_branch":"master","last_synced_at":"2023-08-10T05:03:26.663Z","etag":null,"topics":["abstract-garbage-collection","control-flow-analysis","k-cfa","pushdown-automaton","scheme"],"latest_commit_sha":null,"homepage":"http://github.com/ilyasergey/reachability/wiki","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ilyasergey.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}},"created_at":"2012-03-11T19:33:59.000Z","updated_at":"2022-04-20T09:13:05.000Z","dependencies_parsed_at":"2022-08-28T14:52:40.065Z","dependency_job_id":null,"html_url":"https://github.com/ilyasergey/reachability","commit_stats":null,"previous_names":[],"tags_count":0,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Freachability","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Freachability/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Freachability/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Freachability/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ilyasergey","download_url":"https://codeload.github.com/ilyasergey/reachability/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":228295605,"owners_count":17897596,"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":["abstract-garbage-collection","control-flow-analysis","k-cfa","pushdown-automaton","scheme"],"created_at":"2024-12-05T12:07:41.644Z","updated_at":"2025-10-05T14:48:15.781Z","avatar_url":"https://github.com/ilyasergey.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"Project structure:\n-------------------\n\nbenchmarks -- a set of Scheme programs to test the analysis runner\n\nlib -- necessary libraries: Scala SDK, compiler and ScalaTest\n\nsrc -- source files\n\ntest -- Test suites, run by ScalaTest utility via ant script\n\nbuild.xml -- Ant script\n\n[UPDATE]\n\nAs of November 2015, this project has moved to the BSD licence.\n\n------------------------------------------------------------------------------------\n\nUse following commands to compile and test the project via Ant (in the project root directory):\n\nant all           -- compiles the project from scratch, builds the JAR file and zipped sources\n\nant zip.project   -- Packs all source files into the ZIP archive artifacts/reachability.zip\n\nant compile       -- compile the project (incrementally)\n\nant run.tests     -- Run ScalaTest suite\n\nant jar           -- build an executable jar (Scala SDK included) and puts it into ./artifacts/\n\nant jar.no.scala  -- build an executable jar (without Scala SDK) and puts it into ./artifacts/\n\n------------------------------------------------------------------------------------\nYou can also compile it via IntelliJ IDEA 15 (with the Scala 2.9 libraries from ./lib).\n------------------------------------------------------------------------------------\n\n\nHow to run:\n\n-- for a compiled project\nscala -cp ./out/production/reachability org.ucombinator.cfa.RunCFA [options] fileName\n\n-- for an executable jar with Scala SDK included\njava -jar artifactsGenericCFA.jar org.ucombinator.cfa.RunCFA [options] fileName\n\n-- for an executable jar with NO Scala SDK included\nscala -cp artifacts/GenericCFANoScala.jar org.ucombinator.cfa.RunCFA [options] fileName\n\n------------------------------------------------------------------------------------\n\nImplementation insights:\n\nGrep for the tag (REMARK) in the code for some non-obvious insights.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Filyasergey%2Freachability","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Filyasergey%2Freachability","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Filyasergey%2Freachability/lists"}