最高机密

华盛顿特区美国司法部联邦调查局

发件人：小埃德加·胡佛（局长）

主题：政府专家系统中的可疑泄漏

麻省剑桥市分局报告“可疑人物识别专家系统”（Suspicious Persons Identification Expert System，SPIES）中存在可疑泄漏。据可靠消息和几位精通软件的线人透露，该泄漏是由“临时工”编码造成的，涉案人员未知。

一名曾提供过可靠消息并声称与当事人有着密切关系的线人表示，该漏洞是由存储器中某块区域数据的管理不善所引起的，黑客兄弟会的人把该区域称为“堆”。

现在，我赋予你查看专家系统源代码以及动用FBI软件工程实验室所有资源的权力，请考虑种种迹象，仔细地分析案件的每一个细节，找到并修复这个漏洞。

只许成功不许失败。

此致

敬礼！

最高机密 - 图1

物证一：源代码

以下是“可疑人物识别专家系统”（SPIES）的源代码。这款软件可以用来记录嫌疑犯，并辨认他们。你不需要现在就细读代码，但请留一份副本，调查的过程中可能会用到它。

  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <string.h>
  5. typedef struct node {
  6.   char *question;
  7.   struct node  *no;
  8.   struct node  *yes;
  9. } node;
  11. int yes_no(char *question)
  12. {
  13.   char answer[3];
  14.   printf("%s? (y/n): ", question);
  15.   fgets(answer, 3, stdin);
  16.   return answer[0] == 'y';
  17. }
  19. node* create(char *question)
  20. {
  21.   node *n = malloc(sizeof(node));
  22.   n->question = strdup(question);
  23.   n->no = NULL;
  24.   n->yes = NULL;
  25.   return n;
  26. }
  28. void release(node *n)
  29. {
  30.   if (n) {
  31.     if (n->no)
  32.       release(n->no);
  33.     if (n->yes)
  34.       release(n->yes);
  35.     if (n->question)
  36.       free(n->question);
  37.     free(n);
  38.   }
  39. }
  41. int main()
  42. {
  43.   char question[80];
  44.   char suspect[20];
  45.   node *start_node = create("Does suspect have a mustache");
  46.   start_node->no = create("Loretta Barnsworth");
  47.   start_node->yes = create("Vinny the Spoon");
  49.   node *current;
  50.   do {
  51.     current = start_node;
  52.     while (1) {
  53.       if (yes_no(current->question))
  54.       {
  55.         if (current->yes) {
  56.           current = current->yes;
  57.         } else {
  58.           printf("SUSPECT IDENTIFIED\n");
  59.           break;
  60.         }
  61.       } else if (current->no) {
  62.         current = current->no;
  63.       } else {
  65.          /* Make the yes-node the new suspect name */
  66.          printf("Who's the suspect? ");
  67.          fgets(suspect, 20, stdin);
  68.          node *yes_node = create(suspect);
  69.          current->yes = yes_node;
  71.          /* Make the no-node a copy of this question */
  72.          node *no_node = create(current->question);
  73.          current->no = no_node;
  75.          /* Then replace this question with the new question */
  76.          printf("Give me a question that is TRUE for %s but not for %s? ", suspect, current->question);
  77.          fgets(question, 80, stdin);
  78.          current->question = strdup(question);
  80.          break;
  81.       }
  82.     }
  83.   } while(yes_no("Run again"));
  84.   release(start_node);
  85.   return 0;
  86. }