summaryrefslogtreecommitdiff
path: root/examples/program_analysis/paper_demos/bash.txt
blob: 083401ce8e14b311db37dfe2cb152d5ebe8037b5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
int cd_builtin (list) WORD_LIST *list; /*@\color{red}{//B1} @*/
{
  char *dirname, *cdpath, *path, *temp;
...

struct builtin static_shell_builtins[] = {
...
  { "cd", cd_builtin, ... }, /*@\color{red}{//B2} @*/
...
struct builtin *shell_builtins = static_shell_builtins; /*@\color{red}{//B3} @*/

struct builtin * builtin_address_internal
    (name, disabled_okay)
    char *name; int disabled_okay; { /*@\color{red}{//B4} @*/
...
      j = shell_builtins[mid].name[0] - name[0];
...
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback