Cgrapher4gcc

Laurent Georget laurent.georget@inria.fr. 03/2015

Cgrapher4gcc is a tool from the Kayrebt tool set. Its purpose is to extract automatically pseudo-UML2 activity diagrams from functions of the Linux kernel. The diagrams can be useful for software visualization, static analysis, etc.

Inputs

Cgrapher4gcc receives two files as parameters : a file containing a list of functions to draw and a file containing a list of files to compile containing those functions (in order to avoid compiling the entire kernel to extract the graph of one or two functions).

Parameters: -s : the file containing the list of source files to compile (default: "sources") -f : the file containing the list of functions to graph (default: "functions") -k: do not remove temporary files at the end of the execution -t : select a different sources tree than the default one -V : select a specific commit in the kernel tree for diagram extraction (default: "master")

Outputs

Cgrapher4gcc produces a graph under png format for each function in the function list file that was compiled.

In input :

functions

In output :

SYSC_read.png

vfs_read.png

03/08/2015 : Version 1.0, initial version

How to use our REST API :

Think to check your private token in your account first. You can find more detail in our documentation tab.

This app id is : 34

This curl command will create a job, and return your job url, and also the average execution time

files and/or dataset are optionnal, think to remove them if not wanted

curl -H 'Authorization: Token token=<your_private_token>' -X POST
-F job[webapp_id]=34
-F job[param]=""
-F job[queue]=standard
-F files[0]=@test.txt
-F files[1]=@test2.csv
-F job[file_url]=<my_file_url>
-F job[dataset]=<my_dataset_name> https://allgo.inria.fr/api/v1/jobs

Then, check your job to get the url files with :

curl -H 'Authorization: Token token=<your_private_token>' -X GET https://allgo.inria.fr/api/v1/jobs/<job_id>

Cgrapher 4gcc

Cgrapher4gcc

Inputs

Outputs

How to use our REST API :