angelix | Semantic program repair system for C programs

by mechtaev Java Version: 1.1 License: MIT

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | angelix Summary

angelix is a Java library. angelix has no bugs, it has no vulnerabilities, it has a Permissive License and it has low support. However angelix build file is not available. You can download it from GitHub.

Semantics-based automated program repair tool for C programs. Angelix fixes bugs manifested by failing test cases and searches for the minimal change in order to preserve the original source code. Powered by KLEE symbolic execution engine and Z3 SMT solver.

Support

Quality

Security

License

Reuse

Support

angelix has a low active ecosystem.

It has 95 star(s) with 39 fork(s). There are 12 watchers for this library.

It had no major release in the last 6 months.

There are 6 open issues and 18 have been closed. On average issues are closed in 108 days. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of angelix is 1.1

Quality

angelix has no bugs reported.

Security

angelix has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

angelix is licensed under the MIT License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

angelix releases are not available. You will need to build from source code and install.

angelix has no build file. You will be need to create the build yourself to build the component from source.

Installation instructions, examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi has reviewed angelix and discovered the below as its top functions. This is intended to give you an instant insight into angelix implemented functionality, and help decide if they suit your requirements.

Type check that the arguments are sorted
Implement sort
Visits the sort symbol
Visits a binary literal
Sort constant expressions
Sort a sorted list
Sort a list
Processes a bv identifier
Visits the given LET
Sort the attributes
Executes the command
Creates a string representing a location identification string
Check if an expression is valid
Sets an option
Parse a logic definition
Unesc - escaped string
Parses the command line arguments
Set an option
Performs a define function
Gets the assertions
Define a function
Declares a function with its parameters
Parse sort parameters
Runs the assertions command
The declare_fun command
Removes a number
Define a function
Command - line parser
Executes a get - value command

Get all kandi verified functions for this library.

angelix Key Features

No Key Features are available at this moment for angelix.

angelix Examples and Code Snippets

No Code Snippets are available at this moment for angelix.

Community Discussions

No Community Discussions are available at this moment for angelix.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install angelix

Angelix is distributed in source code form and pre-installed in VirtualBox image. The VirtualBox image also contains Angelix ICSE'16 and SemFix ICSE'13 evaluation results.
The following is required to install Angelix from source code:. * Angelix can run on other 64-bit Linux distributions, however installation scripts were tested only on Ubuntu 14.04. If you want to install Angelix on a different system, you may need to modify Makefile and activate scripts.
40GB Hard drive
8GB Memory
Ubuntu 14.04 64-bit*