扩展作业测试平台以包括代码分析 (C/C++)

Question

我正在维护/开发一个用于作业测试的平台。它大部分是自动的。我现在需要补充的是代码分析。我需要检查特定构造的代码。

例如：

文件 main.cpp 是否包含 带有 const 方法的名为 user 的类 get_name()？

有没有一些工具可以让我做这样的事情（理想的是可以编写脚本的东西）。仅限 Linux。

Answer 1

一种可能是通过 GCC 运行代码并使用 GCC-XML 扩展，用于生成程序内部结构的 XML 描述。然后，您可以使用您最喜欢的 XML 库来解析文档，或者如果您需要做的只是将其显示为 HTML 或其他内容，则可以对其应用 XSLT。

Answer 2

您可能可以毫不费力地将使用 GCC-XML 框架 的东西组合在一起。

Answer 3

这如何应用于C？ :)

文件 main.cpp 是否包含一个名为 user 的类，该类具有 const 方法 get_name()？

创建另一个文件（test.cpp），将

void test(void) {
  const user x;
  x.get_name();
}

test.cpp 和 main.cpp 一起编译。如果出现错误（退出代码！= 0），则否！，文件 main.cpp 未使用特定方法定义名为 user 的（公共）类。

警告：我不懂 C++，所以请原谅上面的任何主要（或次要）错误。

---

添加了编辑脚本

#! /bin/sh

cat main.c test.c > 3710532.c
if gcc 3710532.c > /dev/null 2>&1
then echo OK
else echo BZZZT
fi
rm 3710532.c

我在这台机器上没有安装即用型C++编译器，所以我的测试是使用C< /code> 编译器和 C 文件。我的编译器无法“使用”gcc -combine main.c test.c，因此我调整了该部分。

使用 main.c 和 test.c 的工作组合运行此脚本会输出“OK”，否则会输出“BZZZT”。

---

对于测试，我使用了这个 main.c

typedef int user;

int get_name(void) {
  return 0;
}

int main(void) {
  return 0;
}

和这个 test.c

void test(void) {
  const user x;
  get_name();
}

示例运行

$ ./3710532.sh
OK

Answer 4

我从 Mozilla 发现了 deHydra 工具。它似乎主要是为了内部目的而编写的，但它可能正是我正在寻找的。

DeHydra

编辑： 太棒了。它缺少一些小功能，例如确定 const 方法，但其他方面都很棒。

Answer 5

如果你想做任意代码分析，你需要任意解析/匹配等。
GCC-XML 将为您提供声明信息，但不提供方法的内容。

我们的 DMS 软件重新工程工具包将提供与 GCC-XML 相同的抽象信息，但
另外包括定义内容的完整细节（例如，方法主体
信息），由其 C++ 前端 支持。这将允许您访问声明和内容来检查您的学生计划。

DMS 提供对 AST、符号表和源模式匹配的通用解析。 C++ 前端提供完整的 C++ 解析、构建 C++ AST 和相应的符号信息。之后您要做什么来进行识别取决于您，但您的示例似乎是在寻找特定的模式。

你的示例的一半将由几个 C++ 的 DMS 源模式处理：（

pattern is_correct_student_class(m:members):class =
  " class user { \m } ".

pattern is_correct_student_method_present(p:parameters,s:statements):method =
  " const  get_name(\p) { \s } "

请原谅我的 C++ 语法，我不会写很多）它将匹配任何 AST，
分别对应命名的用户类和所需的 const 方法。
引号是元引号，里面的内容是带转义的 C++ 语法
\p、\m 和 \s 代表元变量 p、m 和 s，其语法必须为
分别是参数列表、方法列表和语句列表以匹配模式。自动导出参数列表等的定义
来自 C++ 前端的 C++ 语法部分。

另一半是通过之后执行的一些 DMS PARLANSE 代码来实现的
调用 C++ 解析器和名称/类型解析器：

   (define has_student_code (lamdba (function boolean [tree AST]))
      (AST:IsInTree tree
          (lambda (function boolean [tree1 AST]
              (&& (Registry:MatchPattern tree1 "is_correct_student_class")
                  (AST:IsInList (AST:GetNthGrammarChild tree1 4) ; the member list
                       (lambda (function boolean [tree2 AST]) 
                           (Registry:MatchPattern tree2 ; a member
                                 "is_correct_student_method_present")
                       )lambda
          )lambda
      )
   )define

采取一些自由措施来简化表示。

这是一个非常简单的检查；您可以从 PARLANSE 代码访问符号表，以执行更复杂的检查是否有意义。

虽然 DMS 不能直接在 Linux 下运行，但它似乎可以在 Wine 下运行。