diff options
author | Matthew Sotoudeh <masotoudeh@ucdavis.edu> | 2020-11-10 14:16:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-10 14:16:20 -0800 |
commit | de88829eccd369aa1872413d6068d5179468c47e (patch) | |
tree | 1947f69081b4f647c643b0f9d5ce8c246a9b097c /examples/program_analysis/paper_demos/fish.txt | |
parent | db99b3af36fa4687c734e1c74d83157d2f10c9ed (diff) | |
parent | be64046354a0451869d475e7f0d35f4eb2344c93 (diff) |
Contains code for reproducing the demos from our Onward '20 paper about Sifter.
Diffstat (limited to 'examples/program_analysis/paper_demos/fish.txt')
-rw-r--r-- | examples/program_analysis/paper_demos/fish.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/examples/program_analysis/paper_demos/fish.txt b/examples/program_analysis/paper_demos/fish.txt new file mode 100644 index 0000000..2b933f0 --- /dev/null +++ b/examples/program_analysis/paper_demos/fish.txt @@ -0,0 +1,13 @@ +int builtin_cd(parser_t &parser, io_streams_t &streams, wchar_t **argv) { /*@\color{red}{//F1} @*/ + const wchar_t *cmd = argv[0]; + int argc = builtin_count_args(argv); +... + +static const builtin_data_t builtin_datas[] = { +... + {L"cd", &builtin_cd, ...}, /*@\color{red}{//F2} @*/ +... + +static const builtin_data_t *builtin_lookup(const wcstring &name) { /*@\color{red}{//F3} @*/ + const builtin_data_t *array_end = builtin_datas + BUILTIN_COUNT; +... |