CTSRD-CHERI / chericat

Other
2 stars 0 forks source link

Updated Python code to generate compartment graphs #43

Open psjm3 opened 3 months ago

psjm3 commented 3 months ago

Added implementation as standalone python files (i.e. can be executed from command line) to include graphs showing compartments as nodes and capabilities between them as edges. The command line arguments have also been updated to separate the library-centric graphs and compartment-centric graphs as sub-commands.

psjm3 commented 3 months ago

I have updated the Python doc (which hasn't been merged into the main branch yet) as part of this PR: https://github.com/CTSRD-CHERI/chericat/pull/33