predicates
    英 [ˈpredɪkeɪts] 美 [ˈpredɪkeɪts]
    n.谓语(句子成分，对主语加以陈述，如John went home中的went home)
    v.使基于;使以…为依据;表明;阐明;断言
    predicate的第三人称单数和复数

    Literals
    英 [ˈlɪtərəlz] 美 [ˈlɪtərəlz]
    直接常量;字面;字面常量;字面量;字面值

    Formulas
    英 [ˈfɔːmjʊləz] 美 [ˈfɔrmjələz]
    公式;口诀;结构式;惯用语句;炒股口诀

    caller
    英 [ˈkɔːlə(r)] 美 [ˈkɔːlər]
    n.打电话者;访问者;来访者;(方形舞或乡村舞中)喊出舞步的指挥


    callee
    n.〈美〉受访问者；被呼唤人；电话受话人；被召者

    Textual
    英 [ˈtekstʃuəl] 美 [ˈtekstʃuəl]
    文本;语篇;文本的;字符类型

    Lexical
    英 [ˈleksɪkl] 美 [ˈleksɪkl]
    词法;词汇的;词汇衔接;词汇类

    Syntactic
    英 [sɪnˈtæktɪk] 美 [sɪnˈtæktɪk]
    句法;句法的;符号关系;句法类;语构

    Name binding
    英 [neɪm ˈbaɪndɪŋ] 美 [neɪm ˈbaɪndɪŋ]
    名词绑扎;命名结合

    Control flow
    英 [kənˈtrəʊl fləʊ] 美 [kənˈtroʊl floʊ]
    控制流;控制语句;控制流程

    Data flow
    英 [ˈdeɪtə fləʊ] 美 [ˈdeɪtə floʊ]
    数据流

    Type inference
    英 [taɪp ˈɪnfərəns] 美 [taɪp ˈɪnfərəns]
    类型推断;类型推导;类型推理;类型推论

    Call graph
    英 [kɔːl ɡræf] 美 [kɔːl ɡræf]
    函数调用图;访问图

    Inter-procedural data flow
    过程间数据流

    Frameworks
    框架

    Taint tracking
    污点追踪T
    英 [teɪnt] 美 [teɪnt]
    v.
    使腐坏;污染;玷污，败坏(名声)
    n.
    腐坏;污染;玷污