Fetching contributors…
Cannot retrieve contributors at this time
executable file 130 lines (96 sloc) 3.4 KB
#! /usr/bin/env python
This script will detect syntactically identical expressions which are chained
together in a chain of logical operators in the input Ada sources.
from __future__ import (absolute_import, division, print_function)
import argparse
import libadalang as lal
parser = argparse.ArgumentParser(description=__doc__)
parser.add_argument('files', help='The files to analyze',
type=str, nargs='+', metavar='F')
def location(node):
return (node.token_start._sloc_range.start.line,
def list_operands(binop):
List all the sub-operands of `binop`, as long as they have the same
operator as `binop`.
:type binop: lal.BinOp
def list_sub_operands(expr, op):
Accumulate sub-operands of `expr`, provided `expr` is a binary operator
that has `op` as an operator.
:type expr: lal.Expr
:type op: lal.Op
if expr.is_a(lal.BinOp) and type(expr.f_op) is type(op):
return (list_sub_operands(expr.f_left, op)
+ list_sub_operands(expr.f_right, op))
return [expr]
op = binop.f_op
return (list_sub_operands(binop.f_left, op)
+ list_sub_operands(binop.f_right, op))
def is_bool_literal(expr):
Predicate to check whether `expr` is a boolean literal.
return expr.is_a(lal.Identifier) and expr.text.lower() in ['true', 'false']
def tokens_text(node):
return tuple((t.kind, t.text) for t in node.tokens)
def has_same_operands(expr):
For a logic relation, checks whether any combination of its sub-operands
are syntactically equivalent. If duplicate operands are found, return them.
:rtype: lal.Expr|None
ops = {}
all_ops = list_operands(expr)
if len(all_ops) > 1:
for op in all_ops:
tokens = tokens_text(op)
if tokens in ops:
return (ops[tokens], op)
ops[tokens] = op
def same_as_parent(binop):
Checks whether binop is a BinOp with the same structure as its parent (same
:rtype: bool
par = binop.parent
return (binop.is_a(lal.BinOp)
and par.is_a(lal.BinOp)
and type(binop.f_op) is type(par.f_op))
def interesting_oper(op):
Check that op is a relational operator, which are the operators that
interrest us in the context of this script.
:rtype: bool
return op.is_a(lal.OpAnd, lal.OpOr, lal.OpAndThen, lal.OpOrElse, lal.OpXor)
def do_file(f):
c = lal.AnalysisContext()
unit = c.get_from_file(f)
if unit.root is None:
print('Could not parse {}:'.format(f))
for diag in unit.diagnostics:
print(' {}'.format(diag))
for binop in unit.root.findall(lal.BinOp):
if interesting_oper(binop.f_op) and not same_as_parent(binop):
res = has_same_operands(binop)
if res is not None:
fst_op, snd_op = res
fst_line, fst_col = location(fst_op)
snd_line, snd_col = location(snd_op)
print('{}:{}:{}: duplicate operand with line {}'.format(
f, snd_line, snd_col, fst_line
def main(args):
for f in args.files:
if __name__ == '__main__':