Module Expr Str ImportFrom alias ImportFrom alias ImportFrom alias identifier ImportFrom alias identifier ClassDef bases NameLoad body Expr Str Assign NameStore Str Assign NameStore Num Assign NameStore Num FunctionDef arguments args NameParam defaults body Expr Str Return ListLoad Str Str Str decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Assign NameStore SubscriptLoad NameLoad Index Str Assign NameStore SubscriptLoad NameLoad Index Str Assign NameStore SubscriptLoad NameLoad Index Str If CompareEq NameLoad Num body Assign AttributeStore NameLoad attr Num Assign AttributeStore NameLoad attr Num orelse If CompareIn Str NameLoad body Assign AttributeStore NameLoad attr SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Assign AttributeStore NameLoad attr SubscriptLoad SubscriptLoad NameLoad Index Str Index Num With Call NameLoad NameLoad Str NameStore body Expr Call AttributeLoad NameLoad attr Call AttributeLoad Str attr NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad Assign NameStore ListComp Call AttributeLoad Str attr NameLoad comprehension NameStore Call NameLoad BinOpAdd NameLoad Num Assign NameStore ListComp Call AttributeLoad Str attr NameLoad comprehension NameStore Call NameLoad BinOpAdd NameLoad Num Assign NameStore ListComp Call AttributeLoad Str attr NameLoad comprehension NameStore Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Num For NameStore Call NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad SubscriptLoad NameLoad Index NameLoad SubscriptLoad NameLoad Index NameLoad SubscriptLoad NameLoad Index BinOpAdd NameLoad Num SubscriptLoad NameLoad Index BinOpAdd NameLoad Num SubscriptLoad NameLoad Index NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad BinOpAdd NameLoad NameLoad NameLoad If SubscriptLoad NameLoad Index Str body Expr Call AttributeLoad NameLoad attr NameLoad SubscriptLoad NameLoad Index Num SubscriptLoad NameLoad Index NameLoad Expr Call AttributeLoad NameLoad attr NameLoad SubscriptLoad NameLoad Index Num SubscriptLoad NameLoad Index NameLoad For TupleStore NameStore NameStore Call AttributeLoad SubscriptLoad NameLoad Index Str attr body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad For NameStore SubscriptLoad NameLoad Index Str body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Return decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults body Expr Str Assign NameStore Str AugAssignAdd NameStore Str AugAssignAdd NameStore Call AttributeLoad NameLoad attr Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad AugAssignAdd NameStore Str AugAssignAdd NameStore BinOpAdd BinOpAdd Str NameLoad Str AugAssignAdd NameStore BinOpAdd BinOpAdd Str NameLoad Str AugAssignAdd NameStore Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad AugAssignAdd NameStore Str AugAssignAdd NameStore Call AttributeLoad Str attr NameLoad AugAssignAdd NameStore Call AttributeLoad NameLoad attr Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad NameLoad NameLoad AugAssignAdd NameStore Str Expr Call AttributeLoad NameLoad attr NameLoad Return decorator_list decorator_list
N/A N/A 
Created on Mar 28, 2014

@author: stefan
 parser stpcommands ciphers.cipher AbstractCipher parser.stpcommands getStringRightRotate rotr parser.stpcommands getStringLeftRotate rotl SpeckCipher N/A AbstractCipher N/A N/A 
    Represents the differential behaviour of SPECK and can be used
    to find differential characteristics for the given parameters.
     N/A name speck N/A rot_alpha 8 N/A rot_beta 3 getFormatString N/A N/A self N/A N/A N/A 
        Returns the print format.
         N/A N/A x y w N/A createSTP N/A N/A self stp_filename parameters N/A N/A N/A 
        Creates an STP file to find a characteristic for SPECK with
        the given parameters.
         N/A wordsize N/A parameters N/A wordsize N/A rounds N/A parameters N/A rounds N/A weight N/A parameters N/A sweight N/A N/A wordsize 16 N/A N/A N/A self rot_alpha 7 N/A N/A self rot_beta 2 N/A N/A N/A rotationconstants parameters N/A N/A N/A self rot_alpha N/A N/A parameters N/A rotationconstants N/A 0 N/A N/A self rot_beta N/A N/A parameters N/A rotationconstants N/A 1 N/A N/A open stp_filename w stp_file N/A N/A N/A N/A stp_file write N/A N/A % Input File for STP
% Speck w={} alpha={} beta={} rounds={}


 format wordsize N/A self rot_alpha N/A self rot_beta rounds N/A x N/A N/A N/A x{} format i N/A i N/A range N/A rounds 1 N/A y N/A N/A N/A y{} format i N/A i N/A range N/A rounds 1 N/A w N/A N/A N/A w{} format i N/A i N/A range rounds N/A N/A N/A stpcommands setupVariables stp_file x wordsize N/A N/A N/A stpcommands setupVariables stp_file y wordsize N/A N/A N/A stpcommands setupVariables stp_file w wordsize N/A N/A N/A stpcommands setupWeightComputation stp_file weight w wordsize 1 N/A i N/A range rounds N/A N/A N/A N/A self setupSpeckRound stp_file N/A x N/A i N/A y N/A i N/A x N/A N/A i 1 N/A y N/A N/A i 1 N/A w N/A i wordsize N/A N/A N/A stpcommands assertNonZero stp_file N/A x y wordsize N/A N/A parameters N/A iterative N/A N/A N/A N/A stpcommands assertVariableValue stp_file N/A x N/A 0 N/A x N/A rounds N/A N/A N/A stpcommands assertVariableValue stp_file N/A y N/A 0 N/A y N/A rounds N/A N/A key value N/A N/A N/A parameters N/A fixedVariables items N/A N/A N/A N/A stpcommands assertVariableValue stp_file key value N/A char N/A parameters N/A blockedCharacteristics N/A N/A N/A N/A stpcommands blockCharacteristic stp_file char wordsize N/A N/A N/A stpcommands setupQuery stp_file N/A N/A setupSpeckRound N/A N/A self stp_file x_in y_in x_out y_out w wordsize N/A N/A N/A 
        Model for differential behaviour of one round SPECK
         N/A command N/A command ASSERT( N/A command N/A N/A stpcommands getStringAdd N/A rotr x_in N/A self rot_alpha wordsize y_in x_out wordsize N/A command );
 N/A command N/A N/A ASSERT( y_out  =  N/A command N/A N/A BVXOR( x_out , N/A command N/A rotl y_in N/A self rot_beta wordsize N/A command ));
 N/A command N/A N/A ASSERT({0} = ~ format w N/A command N/A N/A stpcommands getStringEq N/A rotr x_in N/A self rot_alpha wordsize y_in x_out N/A command );
 N/A N/A N/A stp_file write command N/A N/A N/A