summaryrefslogtreecommitdiff
path: root/examples/program_analysis/paper_demos/fish.txt
blob: 2b933f0eefeb5fff2161c8f11c1e55a1107c75f1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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;
...
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback