Kayrebt::dumper

Logo

Extract activity diagrams from the Linux codebase. https://www.lgeorget.eu/code-panel/2015/04/02/kayrebt_extractor/


Please log in to perform a job with this app.


Kayrebt-Dumper

Wrapper for Kayrebt::Extractor to generate activity diagrams for any version of the Linux kernel.

Kayrebt::Extractor is a simple gcc plugin aiming at dumping the CFG of any function in a C file in a human-readable form. It outputs graphs, and more specifically UML2(-remotely)-like activity diagrams.

krdump

Usage: krdump [-s []] [-c []] [-V ]

krdump is used to extract activity diagrams from functions of the Linux kernel
codebase. The options '-s', '-c' and '-v' take exactly one argument, and have
each a default value:
    -s : this parameter is the path of a file
    containing the list of files to compile, one per line.
    The files must be given as path relative to the kernel top directory.
    The functions of the functions list should be a subset of the functions
    implemented in those files. Otherwise, some diagrams will be missing.
    The default value is "sources".
    -c : this parameter is the path of the config file.
    The configuration is written in YAML. The configuration should look like
    the following:
        - general:
            - category:
                - 1: 
                - 2: 
                -...
        - :
            - category: ]
        - :
        ...
    The default value for this option is "config".
    -V: this parameters tells the script to checkout a specific version of the
    kernel. Any commit number or version tag is fine. The default is 'master'.

In input :


In output :

12/11/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 : 66

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]=66
-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>