/dports/security/py-angr/angr-9.0.5405/tests/ |
H A D | test_argc_sym.py | 22 sargc = claripy.BVS('argc', 32) 23 …arger_mips.factory.entry_state(args = [claripy.BVS('arg_0', 40*8), claripy.BVS('arg_1', 40*8), cla… 31 sargc = claripy.BVS('argc', 32) 32 …ger_mipsel.factory.entry_state(args = [claripy.BVS('arg_0', 40*8), claripy.BVS('arg_1', 40*8), cla… 40 sargc = claripy.BVS('argc', 32) 41 …arger_i386.factory.entry_state(args = [claripy.BVS('arg_0', 40*8), claripy.BVS('arg_1', 40*8), cla… 49 sargc = claripy.BVS('argc', 64) 50 …rger_amd64.factory.entry_state(args = [claripy.BVS('arg_0', 40*8), claripy.BVS('arg_1', 40*8), cla… 58 sargc = claripy.BVS('argc', 32) 59 … arger_arm.factory.entry_state(args = [claripy.BVS('arg_0', 40*8), claripy.BVS('arg_1', 40*8), cla… [all …]
|
H A D | test_variable_registration.py | 7 a1 = s.solver.BVS('a', 64, key=(1,), eternal=True) 8 a2 = s.solver.BVS('a', 64, key=(1,), eternal=True) 11 b1 = s.solver.BVS('b', 64, key=(2,), eternal=False) 15 b2 = s1.solver.BVS('b', 64, key=(2,), eternal=False) 16 b3 = s2.solver.BVS('b', 64, key=(2,), eternal=False) 21 a3 = s1.solver.BVS('a', 64, key=(1,), eternal=True) 22 a4 = s2.solver.BVS('a', 64, key=(1,), eternal=True)
|
H A D | test_memory.py | 42 x = s.solver.BVS('size', s.arch.bits) 54 x = s.solver.BVS('size', s.arch.bits) 66 x = s.solver.BVS('size', s.arch.bits) 147 c = s.solver.BVS('condition', 8) 206 n = s.solver.BVS('size', 32) 223 c = s.solver.BVS('condition', 32) 239 c = s.solver.BVS('condition', 32) 240 n = s.solver.BVS('size', 32) 473 x = s.solver.BVS('x', 64) 474 y = s.solver.BVS('y', 64) [all …]
|
/dports/math/py-claripy/claripy-9.0.5405/tests/ |
H A D | test_solver.py | 61 x = claripy.BVS('x', 32) 80 x = claripy.BVS('x', 32) 85 y = claripy.BVS('y', 32) 102 x = claripy.BVS('x', 64) 118 x = claripy.BVS('x', 32) 119 y = claripy.BVS('y', 32) 120 z = claripy.BVS('z', 32) 231 x = claripy.BVS('x', 32) 270 x = claripy.BVS("x", 32) 423 a = claripy.BVS("a", 8) [all …]
|
H A D | test_expression.py | 6 x = claripy.BVS('x', 32) 12 x = claripy.BVS('x', 32) 28 x = claripy.BVS('x', 32) 81 r = claripy.BVS('x', 32) 89 ii = claripy.BVS('ii', 32) 90 ij = claripy.BVS('ij', 32) 179 x = claripy.BVS('x', 32) 210 x = claripy.BVS('x', 32) 238 x = claripy.BVS("x", 32) 239 y = claripy.BVS("y", 32) [all …]
|
H A D | test_ast.py | 9 a = claripy.BVS('a', 8, explicit_name=True) 10 b = claripy.BVS('b', 8, explicit_name=True) 23 x = claripy.BVS('x', 8, explicit_name=True) 24 y = claripy.BVS('y', 8, explicit_name=True) 25 z = claripy.BVS('z', 8, explicit_name=True) 26 w = claripy.BVS('w', 8, explicit_name=True)
|
H A D | test_simplify.py | 23 x, y, z = (claripy.BVS(name, 32) for name in ('x', 'y', 'z')) 50 a = claripy.BVS('N', 32, max=0xc, min=0x1) 51 extend_ = claripy.BVS('extend', 32, uninitialized=True) 68 a = claripy.BVS('rdx', 64) 82 a = claripy.BVS('a', 32) 83 b = claripy.BVS('b', 32) 110 a = claripy.BVS('a', 32) 133 a = claripy.BVS("sim_data", 8, explicit_name=True) 157 a = claripy.BVS('a', 8) 167 a = claripy.BVS('a', 8) [all …]
|
H A D | test_replacements.py | 8 x = claripy.BVS('x', 32) 19 x = claripy.BVS('x', 32) 34 x = claripy.BVS('x', 32) 51 x = claripy.BVS('x', 32)
|
H A D | test_merging.py | 12 w = claripy.BVS("w", 8) 13 x = claripy.BVS("x", 8) 14 y = claripy.BVS("y", 8) 15 z = claripy.BVS("z", 8) 16 m = claripy.BVS("m", 8) 53 m2 = claripy.BVS("m2", 32)
|
H A D | test_serial.py | 11 b = claripy.BVS('x', 32, explicit_name=True) 24 x = claripy.BVS('x', 32) 41 b = claripy.BVS("x", 32) 57 x = claripy.BVS("x", 32) 65 x = claripy.BVS("x", 32)
|
/dports/security/py-angr/angr-9.0.5405/angr/procedures/win32/ |
H A D | sim_time.py | 22 …self.timestamp = self.state.solver.BVS('SystemTimeAsFileTime', 64, key=('api', 'SystemTimeAsFileTi… 65 self.wYear = self.state.solver.BVS('cur_year', 16, key=('api', 'GetLocalTime', 'cur_year')) 66 … self.wMonth = self.state.solver.BVS('cur_month', 16, key=('api', 'GetLocalTime', 'cur_month')) 67 …self.wDayOfWeek = self.state.solver.BVS('cur_dayofweek', 16, key=('api', 'GetLocalTime', 'cur_dayo… 68 self.wDay = self.state.solver.BVS('cur_day', 16, key=('api', 'GetLocalTime', 'cur_day')) 69 self.wHour = self.state.solver.BVS('cur_hour', 16, key=('api', 'GetLocalTime', 'cur_hour')) 70 … self.wMinute = self.state.solver.BVS('cur_minute', 16, key=('api', 'GetLocalTime', 'cur_minute')) 71 … self.wSecond = self.state.solver.BVS('cur_second', 16, key=('api', 'GetLocalTime', 'cur_second')) 72 …self.wMilliseconds = self.state.solver.BVS('cur_millisecond', 16, key=('api', 'GetLocalTime', 'cur… 116 val = self.state.solver.BVS('GetTickCount_result', 32, key=('api', 'GetTickCount')) [all …]
|
/dports/security/py-angr/angr-9.0.5405/angr/procedures/posix/ |
H A D | gethostbyname.py | 7 …self.state.memory.store(place, self.state.solver.BVS('h_name', 64, key=('api', 'gethostbyname', 'h… 8 …self.state.memory.store(place, self.state.solver.BVS('h_aliases', 64, key=('api', 'gethostbyname',… 9 …self.state.memory.store(place, self.state.solver.BVS('h_addrtype', 64, key=('api', 'gethostbyname'… 10 …self.state.memory.store(place, self.state.solver.BVS('h_length', 64, key=('api', 'gethostbyname', … 11 …self.state.memory.store(place, self.state.solver.BVS('h_addr_list', 64, key=('api', 'gethostbyname…
|
H A D | sim_time.py | 16 … 'tv_sec': self.state.solver.BVS('tv_sec', self.arch.bits, key=('api', 'gettimeofday', 'tv_sec')), 17 …'tv_usec': self.state.solver.BVS('tv_usec', self.arch.bits, key=('api', 'gettimeofday', 'tv_usec')… 36 … 'tv_sec': self.state.solver.BVS('tv_sec', self.arch.bits, key=('api', 'clock_gettime', 'tv_sec')), 37 …'tv_nsec': self.state.solver.BVS('tv_nsec', self.arch.bits, key=('api', 'clock_gettime', 'tv_nsec'…
|
/dports/security/py-angr/angr-9.0.5405/angr/engines/vex/heavy/ |
H A D | dirty.py | 45 state.regs.rax = claripy.BVS("cpuid_a", 32).zero_extend(32) 46 state.regs.rbx = claripy.BVS("cpuid_b", 32).zero_extend(32) 47 state.regs.rcx = claripy.BVS("cpuid_c", 32).zero_extend(32) 238 state.regs.eax = claripy.BVS("cpuid_a", 32) 239 state.regs.ebx = claripy.BVS("cpuid_b", 32) 240 state.regs.ecx = claripy.BVS("cpuid_c", 32) 241 state.regs.edx = claripy.BVS("cpuid_d", 32) 270 state.regs.eax = claripy.BVS("cpuid_a", 32) 271 state.regs.ebx = claripy.BVS("cpuid_b", 32) 272 state.regs.ecx = claripy.BVS("cpuid_c", 32) [all …]
|
/dports/astro/gpstk/GPSTk-8.0.0/core/lib/Math/ |
H A D | BivarStats.hpp | 152 s << " N = " << BVS.n() << std::endl in operator <<() 153 << " Minimum: X = " << BVS.minimumX() in operator <<() 154 << " Y = " << BVS.minimumY() in operator <<() 155 << " Maximum: X = " << BVS.maximumX() in operator <<() 156 << " Y = " << BVS.maximumY() << std::endl in operator <<() 157 << " Average: X = " << BVS.averageX() in operator <<() 158 << " Y = " << BVS.averageY() in operator <<() 159 << " Std Dev: X = " << BVS.stdDevX() in operator <<() 160 << " Y = " << BVS.stdDevY() << std::endl in operator <<() 161 << " Intercept = " << BVS.intercept() in operator <<() [all …]
|
/dports/www/go-www/www-2.0.0/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/net-im/xmpp-client/xmpp-client-3030ad4/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/deskutils/chart/chart-3.0.0/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/net-mgmt/unbound_exporter/unbound_exporter-0.3/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/www/fabio/fabio-1.5.14/vendor/golang.org/x/crypto/crypto-3d3f9f413869/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/tyler-smith/go-bip39/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/misc/concourse/concourse-6.7.2/vendor/github.com/miekg/dns/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/www/devd/devd-0.9/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/devel/modd/modd-0.8/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|
/dports/net-mgmt/ping_exporter/ping_exporter-0.44/vendor/golang.org/x/crypto/sha3/ |
H A D | sha3_s390x.s | 15 BVS yes 33 BVS continue // continue if interrupted 47 BVS continue // continue if interrupted
|