You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard a0bae375db [cfg] add option to print CFGs after the fact ... Summary: Add the `--source-files-cfg` option to emit CFGs as .dot files just as if one had run with `--debug` to begin with. The usual `--source-files-filter` applies. For example: ``` $ cd examples $ infer -- clang -c hello.c $ infer --continue -- javac Hello.java $ infer --continue -- make -C c_hello $ infer explore --source-files --source-files-cfg --source-files-filter ".*\.c$" hello.c c_hello/example.c CFGs written in /home/jul/infer.fb/examples/infer-out/captured/*/icfg.dot ``` Reviewed By: ezgicicek, mbouaziz Differential Revision: D13973062 fbshipit-source-id: 3077e8b91		6 years ago
..
man1	[cfg] add option to print CFGs after the fact	6 years ago