Giter VIP home page Giter VIP logo

inca's Introduction

IncA

Overview

IncA is a program analysis framework. It comes with a DSL for the definition of program analyses and the runtime system evaluates program analyses incrementally to achieve the performance that is needed for real-time feedback in IDEs. When code gets changed, the IncA runtime system incrementally updates analysis results instead of the repeated recomputation from scratch. IncA program analysis code is translated into graph patterns, and we reuse existing incremental graph pattern matching solutions to evaluate the analysis code on the AST of the analyzed program.

Getting Started

IncA is tightly integrated into the JetBrains MPS language workbench (https://www.jetbrains.com/mps/). The primary goal of this integration is to make analysis development and maintenance an integral part of the language development process. Getting started with IncA is easy, it only requires Java 1.8+ and MPS 2017.3.x.

The project is equipped with a Gradle build, and setting up the project requires the cloning of this project and running ./gradlew in the root directory from a command line. The default gradle task takes care of downloading all dependencies and building IncA itself. Note that the build downloads MPS itself because it is required for building IncA, though, the downloaded MPS application is independent from any of your existing MPS installations. Once the project is built, you can start using IncA by opening the code directory (under the root directory) in MPS.

Pro tip: you can customize the contents of the MPS project libraries for IncA by creating a file libraries.overrides.properties in the root directory. The key-value pairs in this file will override the contents of the libraries.properties while generating the libraries.xml file for the project during the Gradle build.

Publications

IncA is a research project, and its various features have been documented in the following publications:

  • IncAL: A DSL for Incremental Program Analysis with Lattices, Tamás Szabó, Sebastian Erdweg, and Markus Völter. In International Workshop on Incremental Computing (IC), 2017. [pdf]

  • IncA: A DSL for the Definition of Incremental Program Analyses, Tamás Szabó, Sebastian Erdweg, and Markus Völter. In Proceedings of International Conference on Automated Software Engineering (ASE), 2016. [pdf]

Examples

There are several example analyses in the project's tests folder (inside MPS). These examples range from simple analysis, like querying various properties of a small DSL that describes families and relationships, to complex program analyses, like strong update points-to analysis or static analyses of string values.

Contact

Feel free to get in touch if you would like to discuss about, contribute to, or simply use IncA. You can find all relevant contact information on the following website: szabta89.github.io.

inca's People

Contributors

szabta89 avatar

Watchers

James Cloos avatar  avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.