(self, args)
return wtf_expr
Count the trailing zeroes
Count the trailing zeroes
Count the trailing zeroes
def _op_generic_Ctz(self, args):
        """Count the trailing zeroes"""
        piece_size = len(args[0])
        wtf_expr = claripy.BVV(piece_size, piece_size)
        for a in reversed(range(piece_size)):
            bit = claripy.Extract(a, a, args[0])
            wtf_expr = claripy.If(bit == 1, claripy.BVV(a, piece_size), wtf_expr)
        return wtf_expr
def _op_generic_Ctz ( self , args ) : piece_size = len ( args [ 0 ] ) wtf_expr = claripy . BVV ( piece_size , piece_size ) for a in reversed ( range ( piece_size ) ) : bit = claripy . Extract ( a , a , args [ 0 ] ) wtf_expr = claripy . If ( bit == 1 , claripy . BVV ( a , piece_size ) , wtf_expr ) return wtf_expr