コード例 #1
0
ファイル: concolic.py プロジェクト: zumb08/manticore 
def constraints_to_constraintset(constupl):
    # originally those constraints belonged to a different ConstraintSet
    # This is a hack
    x = ConstraintSet()

    declarations = GetDeclarations()
    for a in constupl:
        declarations.visit(a)
        x.add(a)
    for d in declarations.result:
        x._declare(d)

    return x
コード例 #2
0
ファイル: concolic.py プロジェクト: soad003/manticore 
def constraints_to_constraintset(constupl):
    x = ConstraintSet()
    x._constraints = list(constupl)
    return x