coda

Code Analysis Toolkit

https://github.com/m-zakeri/coda

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
    Found CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
    Found .zenodo.json file
  • DOI references
  • Academic publication links
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (4.0%) to scientific vocabulary

Keywords

antlr compiler control-flow-graph cplusplus python static-analysis
Last synced: 6 months ago · JSON representation ·

Repository

Code Analysis Toolkit

Basic Info
Statistics
  • Stars: 7
  • Watchers: 1
  • Forks: 2
  • Open Issues: 1
  • Releases: 0
Topics
antlr compiler control-flow-graph cplusplus python static-analysis
Created over 4 years ago · Last pushed over 1 year ago
Metadata Files
Readme Citation

README.md

CodA: Source code analysis and synthesis toolkit

CodA is a toolkit performing advanced static and dynamic analysis on a given source code.

Static analysis includes control flow graph (CFG) and prime path extraction.

Dynamic analysis includes instrumenting code and path coverage computation. Currently, CodA support CPP 14 programs.

For more information, please refer to the CodA documentation website: https://m-zakeri.github.io/CodA.

Owner

  • Name: Morteza Zakeri
  • Login: m-zakeri
  • Kind: user
  • Location: Planet Earth
  • Company: @Micropedia

Ph.D. candidate, software engineer, machine intelligence

Citation (CITATION.cff)

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Zakeri-Nasrabadi"
  given-names: "Morteza"
  orcid: "https://orcid.org/0000-0003-4289-0606"
title: "CodART"
version: 0.1.0
doi: https://doi.org/
date-released: 2022-04-30
url: "https://m-zakeri.github.io/CodA"

GitHub Events

Total
Last Year