A set of otawa plugin

explo just prints some information about BB initialize_RMB_LMB computes rmb and lmb for each BB

Name
Last commit
Last update
UCB_local Loading commit data...
application Loading commit data...
cache_block_id Loading commit data...
classic_ecb Loading commit data...
explo Loading commit data...
include Loading commit data...
initialize_RMB_LMB Loading commit data...
loop_bound Loading commit data...
test Loading commit data...
ucb_otawa Loading commit data...
vulnerability Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...