文件名称：bap-callstrings
文件大小：79KB
文件格式：ZIP
更新时间：2024-07-09 07:32:54
StandardML
要测试 table2tree： table_root=f ./build table2tree test_bin
【文件预览】：
bap-callstrings-master
----.gitignore(18B)
----print_k_table.ml(659B)
----Makefile(325B)
----table2tree.ml(434B)
----test.ml(2KB)
----print_lcsg.ml(367B)
----.merlin(39B)
----Performance.ipynb(214KB)
----print_tree.ml(408B)
----call_sensitivity_graph.ml(6KB)
----README.md(182B)
----dump_k_table.ml(450B)
----test()
--------many.c(292B)
--------fgr.acyctable(196B)
--------fg_main.tree(31B)
--------many.out(10KB)
--------strcpy.calltable(17B)
--------fg.table2(18B)
--------fg.c(84B)
--------strcpy.c(102B)
--------fg.acyctable(18B)
--------fgr.c(86B)
--------fg.table(23B)
--------strcpy.out(8KB)
--------fg.out(9KB)
--------fgr.out(9KB)
--------fgr.ktable(356B)
--------fgr.tree(134B)
--------fgr.tabletree(134B)
----print_acyc_table.ml(624B)