{"id":21168544,"url":"https://github.com/jetbrains-research/cofra","last_synced_at":"2025-07-07T17:33:48.495Z","repository":{"id":91051131,"uuid":"171120291","full_name":"JetBrains-Research/CoFRA","owner":"JetBrains-Research","description":"A CFL-r-based static analyser","archived":false,"fork":false,"pushed_at":"2019-11-13T16:40:20.000Z","size":199,"stargazers_count":6,"open_issues_count":0,"forks_count":2,"subscribers_count":4,"default_branch":"master","last_synced_at":"2023-10-20T20:44:27.861Z","etag":null,"topics":["analysers","cfl-r","interprocedural","resharper","static-code-analysis","taint-analysis"],"latest_commit_sha":null,"homepage":null,"language":"C#","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/JetBrains-Research.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null}},"created_at":"2019-02-17T12:36:58.000Z","updated_at":"2022-09-21T23:10:52.000Z","dependencies_parsed_at":"2023-03-01T17:00:19.022Z","dependency_job_id":null,"html_url":"https://github.com/JetBrains-Research/CoFRA","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/JetBrains-Research%2FCoFRA","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JetBrains-Research%2FCoFRA/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JetBrains-Research%2FCoFRA/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JetBrains-Research%2FCoFRA/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JetBrains-Research","download_url":"https://codeload.github.com/JetBrains-Research/CoFRA/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":225578914,"owners_count":17491283,"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":["analysers","cfl-r","interprocedural","resharper","static-code-analysis","taint-analysis"],"created_at":"2024-11-20T15:14:54.637Z","updated_at":"2024-11-20T15:14:55.327Z","avatar_url":"https://github.com/JetBrains-Research.png","language":"C#","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Build status](https://ci.appveyor.com/api/projects/status/4uuha50qe858lcd6/branch/master?svg=true)](https://ci.appveyor.com/project/ilya-nozhkin/cofra/branch/master)\n[![Build Status](https://travis-ci.org/JetBrains-Research/CoFRA.svg?branch=master)](https://travis-ci.org/JetBrains-Research/CoFRA)\n\n# Short description.\n\nCoFRA project implements context-free language reachability approach to provide an extensible platform for performing interprocedural static analyses. The core of the project is a service which is responsible for accumulating information about the source code and running different analyses defined in terms of pushdown automata. It provides a socket-based interface for interaction with frontends which are responsible for extracting necessary information and notificating user about issues found by the analysers.\n\n# The plugin\n\nThere is also one implementation of a frontend which is based on ReSharper SDK and thus can be installed into ReSharper, Rider and InspectCode. It also contains a bundled backend providing one analysis performing a kind of taint tracking. \nIt tracks the data from specially marked fields called sources to methods called sinks checking whether they are passed through filters.\nExamples of use can be found in the [tests folder](test/data/TaintAnalysis).\n\nThe plugin itself can be downloaded [here](https://ci.appveyor.com/project/ilya-nozhkin/cofra/build/artifacts)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjetbrains-research%2Fcofra","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjetbrains-research%2Fcofra","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjetbrains-research%2Fcofra/lists"}