Skip to content

Commit

Permalink
Remove references to ctsd
Browse files Browse the repository at this point in the history
Summary: ^

Differential Revision: D54954282

fbshipit-source-id: 3ffa36bcc23bf625696fad501849a0ab8e4e4c26
  • Loading branch information
kren1 authored and facebook-github-bot committed Mar 15, 2024
1 parent b26caa9 commit 64827fd
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions finer_taint/src/run_finer_taint_escript.erl
Original file line number Diff line number Diff line change
Expand Up @@ -78,17 +78,17 @@ main(_) ->
"\n"
"EXMAPLES:\n"
"\n"
"run_finer_taint run-lineage util/taint/test/parallel_taint_SUITE_data/test_gen_server_an* -query-arg-lineage \"example_gen_server:store_value/2-Arg1 -> example_gen_server:handle_call/3-Arg2\" -pprint\n"
"run_finer_taint run-lineage finer_taint/test/parallel_taint_SUITE_data/test_gen_server_an* -query-arg-lineage \"example_gen_server:store_value/2-Arg1 -> example_gen_server:handle_call/3-Arg2\" -pprint\n"
"\n"
"Runs parallel_abstract_machine:run_lineage on all files matching the wildcard, finds\n"
"all the paths that had a flow between store_value/2 argument 1 and handle_Call/3 argument2\n"
"and prints them with ~~p.\n"
"\n"
"\n"
"\n"
"run_finer_taint run-lineage /tmp/abstr_instr-* -arg-lineage-csv -to-file /tmp/ctsd_SUITE_lineage.csv\n"
"run_finer_taint run-lineage /tmp/abstr_instr-* -arg-lineage-csv -to-file /tmp/some_lineage.csv\n"
"\n"
"Gets the lineage from all files in /tmp/abstr_inst* , get the lineage in CSV format and writes it to /tmp/ctsd_SUITE_lineage.csv\n",
"Gets the lineage from all files in /tmp/abstr_inst* , get the lineage in CSV format and writes it to /tmp/some_lineage.csv\n",
io:format("Usage: ~n~n"),
io:format("\trun_finer_taint dot path/to/abstract_machine_instructions~n"),
io:format("\trun_finer_taint infer-traceview path/to/abstract_machine_instructions~n"),
Expand Down

0 comments on commit 64827fd

Please sign in to comment.