Home
last modified time | relevance | path

Searched refs:BVS (Results 1 – 25 of 450) sorted by relevance

12345678910>>...18

/dports/security/py-angr/angr-9.0.5405/tests/
H A Dtest_argc_sym.py22 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 Dtest_variable_registration.py7 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 Dtest_memory.py42 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 Dtest_solver.py61 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 Dtest_expression.py6 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 Dtest_ast.py9 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 Dtest_simplify.py23 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 Dtest_replacements.py8 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 Dtest_merging.py12 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 Dtest_serial.py11 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 Dsim_time.py22 …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 Dgethostbyname.py7 …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 Dsim_time.py16 … '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 Ddirty.py45 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 DBivarStats.hpp152 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 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 Dsha3_s390x.s15 BVS yes
33 BVS continue // continue if interrupted
47 BVS continue // continue if interrupted

12345678910>>...18