No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
coccinelle @ 0849d71
configs
tests
tools
.gitignore
.gitmodules
Makefile
README
acfg_operations.ml
acfg_operations.mli
analyzer.ml
analyzer.mli
annotated_cfg.ml
annotated_cfg.mli
ast_operations.ml
ast_operations.mli
c_function.ml
c_function.mli
c_function.mlt
configs.ml
configs.mli
copyright.txt
fix_point.ml
fix_point.mli
graph_operations.ml
graph_operations.mli
hector_core.ml
hector_core.mli
hector_core.mlt
key_fix_point.ml
key_fix_point.mli
license.txt
main.ml
report.ml
standard.h

README

If you read this before cloning the repository, clone it using:
$ git clone --recursive

otherwise do

$ cd coccinelle
$ git submodule init
$ git submodule update

Before trying to compile make sure that the following libraries are installed
on your system, the easiest way to do that is to use opam:

ocamlfind
menhir
pcre

To compile hector just run:

$ make

---------

To compile a tool to visualize the control flow graph used by hector run:

$ make print_graph

and use it as follow:

$ ./print_graph path/to/file.c path/to/graph_file
$ xdot path/to/graph_file_0

print_graph generate a file for each function, the name are indexed accoring
to the order in the file