qsym

A symbolic executor for the QBE intermediate language

git clone https://git.8pit.net/qsym.git

  1# This file is automatically @generated by Cargo.
  2# It is not intended for manual editing.
  3version = 3
  4
  5[[package]]
  6name = "aho-corasick"
  7version = "1.0.1"
  8source = "registry+https://github.com/rust-lang/crates.io-index"
  9checksum = "67fc08ce920c31afb70f013dcce1bfc3a3195de6a228474e45e1f145b36f8d04"
 10dependencies = [
 11 "memchr",
 12]
 13
 14[[package]]
 15name = "ansi_term"
 16version = "0.12.1"
 17source = "registry+https://github.com/rust-lang/crates.io-index"
 18checksum = "d52a9bb7ec0cf484c551830a7ce27bd20d67eac647e1befb56b0be4ee39a55d2"
 19dependencies = [
 20 "winapi",
 21]
 22
 23[[package]]
 24name = "atty"
 25version = "0.2.14"
 26source = "registry+https://github.com/rust-lang/crates.io-index"
 27checksum = "d9b39be18770d11421cdb1b9947a45dd3f37e93092cbf377614828a319d5fee8"
 28dependencies = [
 29 "hermit-abi",
 30 "libc",
 31 "winapi",
 32]
 33
 34[[package]]
 35name = "bindgen"
 36version = "0.58.1"
 37source = "registry+https://github.com/rust-lang/crates.io-index"
 38checksum = "0f8523b410d7187a43085e7e064416ea32ded16bd0a4e6fc025e21616d01258f"
 39dependencies = [
 40 "bitflags",
 41 "cexpr",
 42 "clang-sys",
 43 "clap",
 44 "env_logger",
 45 "lazy_static",
 46 "lazycell",
 47 "log",
 48 "peeking_take_while",
 49 "proc-macro2",
 50 "quote",
 51 "regex",
 52 "rustc-hash",
 53 "shlex",
 54 "which",
 55]
 56
 57[[package]]
 58name = "bitflags"
 59version = "1.3.2"
 60source = "registry+https://github.com/rust-lang/crates.io-index"
 61checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
 62
 63[[package]]
 64name = "cexpr"
 65version = "0.4.0"
 66source = "registry+https://github.com/rust-lang/crates.io-index"
 67checksum = "f4aedb84272dbe89af497cf81375129abda4fc0a9e7c5d317498c15cc30c0d27"
 68dependencies = [
 69 "nom 5.1.3",
 70]
 71
 72[[package]]
 73name = "cfg-if"
 74version = "1.0.0"
 75source = "registry+https://github.com/rust-lang/crates.io-index"
 76checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 77
 78[[package]]
 79name = "clang-sys"
 80version = "1.6.1"
 81source = "registry+https://github.com/rust-lang/crates.io-index"
 82checksum = "c688fc74432808e3eb684cae8830a86be1d66a2bd58e1f248ed0960a590baf6f"
 83dependencies = [
 84 "glob",
 85 "libc",
 86 "libloading",
 87]
 88
 89[[package]]
 90name = "clap"
 91version = "2.34.0"
 92source = "registry+https://github.com/rust-lang/crates.io-index"
 93checksum = "a0610544180c38b88101fecf2dd634b174a62eef6946f84dfc6a7127512b381c"
 94dependencies = [
 95 "ansi_term",
 96 "atty",
 97 "bitflags",
 98 "strsim",
 99 "textwrap",
100 "unicode-width",
101 "vec_map",
102]
103
104[[package]]
105name = "env_logger"
106version = "0.8.4"
107source = "registry+https://github.com/rust-lang/crates.io-index"
108checksum = "a19187fea3ac7e84da7dacf48de0c45d63c6a76f9490dae389aead16c243fce3"
109dependencies = [
110 "atty",
111 "humantime",
112 "log",
113 "regex",
114 "termcolor",
115]
116
117[[package]]
118name = "glob"
119version = "0.3.1"
120source = "registry+https://github.com/rust-lang/crates.io-index"
121checksum = "d2fabcfbdc87f4758337ca535fb41a6d701b65693ce38287d856d1674551ec9b"
122
123[[package]]
124name = "hermit-abi"
125version = "0.1.19"
126source = "registry+https://github.com/rust-lang/crates.io-index"
127checksum = "62b467343b94ba476dcb2500d242dadbb39557df889310ac77c5d99100aaac33"
128dependencies = [
129 "libc",
130]
131
132[[package]]
133name = "humantime"
134version = "2.1.0"
135source = "registry+https://github.com/rust-lang/crates.io-index"
136checksum = "9a3a5bfb195931eeb336b2a7b4d761daec841b97f947d34394601737a7bba5e4"
137
138[[package]]
139name = "lazy_static"
140version = "1.4.0"
141source = "registry+https://github.com/rust-lang/crates.io-index"
142checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
143
144[[package]]
145name = "lazycell"
146version = "1.3.0"
147source = "registry+https://github.com/rust-lang/crates.io-index"
148checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55"
149
150[[package]]
151name = "libc"
152version = "0.2.142"
153source = "registry+https://github.com/rust-lang/crates.io-index"
154checksum = "6a987beff54b60ffa6d51982e1aa1146bc42f19bd26be28b0586f252fccf5317"
155
156[[package]]
157name = "libloading"
158version = "0.7.4"
159source = "registry+https://github.com/rust-lang/crates.io-index"
160checksum = "b67380fd3b2fbe7527a606e18729d21c6f3951633d0500574c4dc22d2d638b9f"
161dependencies = [
162 "cfg-if",
163 "winapi",
164]
165
166[[package]]
167name = "log"
168version = "0.4.17"
169source = "registry+https://github.com/rust-lang/crates.io-index"
170checksum = "abb12e687cfb44aa40f41fc3978ef76448f9b6038cad6aef4259d3c095a2382e"
171dependencies = [
172 "cfg-if",
173]
174
175[[package]]
176name = "memchr"
177version = "2.5.0"
178source = "registry+https://github.com/rust-lang/crates.io-index"
179checksum = "2dffe52ecf27772e601905b7522cb4ef790d2cc203488bbd0e2fe85fcb74566d"
180
181[[package]]
182name = "minimal-lexical"
183version = "0.2.1"
184source = "registry+https://github.com/rust-lang/crates.io-index"
185checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
186
187[[package]]
188name = "nom"
189version = "5.1.3"
190source = "registry+https://github.com/rust-lang/crates.io-index"
191checksum = "08959a387a676302eebf4ddbcbc611da04285579f76f88ee0506c63b1a61dd4b"
192dependencies = [
193 "memchr",
194 "version_check",
195]
196
197[[package]]
198name = "nom"
199version = "7.1.3"
200source = "registry+https://github.com/rust-lang/crates.io-index"
201checksum = "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
202dependencies = [
203 "memchr",
204 "minimal-lexical",
205]
206
207[[package]]
208name = "peeking_take_while"
209version = "0.1.2"
210source = "registry+https://github.com/rust-lang/crates.io-index"
211checksum = "19b17cddbe7ec3f8bc800887bab5e717348c95ea2ca0b1bf0837fb964dc67099"
212
213[[package]]
214name = "proc-macro2"
215version = "1.0.56"
216source = "registry+https://github.com/rust-lang/crates.io-index"
217checksum = "2b63bdb0cd06f1f4dedf69b254734f9b45af66e4a031e42a7480257d9898b435"
218dependencies = [
219 "unicode-ident",
220]
221
222[[package]]
223name = "qbe_reader"
224version = "0.1.0"
225source = "git+https://git.8pit.net/qbe-reader.git#c6c6cd65ed9c855cd06b4d60053555fe30fbb0f0"
226dependencies = [
227 "nom 7.1.3",
228]
229
230[[package]]
231name = "qsym"
232version = "0.1.0"
233dependencies = [
234 "libc",
235 "qbe_reader",
236 "z3",
237]
238
239[[package]]
240name = "quote"
241version = "1.0.26"
242source = "registry+https://github.com/rust-lang/crates.io-index"
243checksum = "4424af4bf778aae2051a77b60283332f386554255d722233d09fbfc7e30da2fc"
244dependencies = [
245 "proc-macro2",
246]
247
248[[package]]
249name = "regex"
250version = "1.8.1"
251source = "registry+https://github.com/rust-lang/crates.io-index"
252checksum = "af83e617f331cc6ae2da5443c602dfa5af81e517212d9d611a5b3ba1777b5370"
253dependencies = [
254 "aho-corasick",
255 "memchr",
256 "regex-syntax",
257]
258
259[[package]]
260name = "regex-syntax"
261version = "0.7.1"
262source = "registry+https://github.com/rust-lang/crates.io-index"
263checksum = "a5996294f19bd3aae0453a862ad728f60e6600695733dd5df01da90c54363a3c"
264
265[[package]]
266name = "rustc-hash"
267version = "1.1.0"
268source = "registry+https://github.com/rust-lang/crates.io-index"
269checksum = "08d43f7aa6b08d49f382cde6a7982047c3426db949b1424bc4b7ec9ae12c6ce2"
270
271[[package]]
272name = "shlex"
273version = "1.1.0"
274source = "registry+https://github.com/rust-lang/crates.io-index"
275checksum = "43b2853a4d09f215c24cc5489c992ce46052d359b5109343cbafbf26bc62f8a3"
276
277[[package]]
278name = "strsim"
279version = "0.8.0"
280source = "registry+https://github.com/rust-lang/crates.io-index"
281checksum = "8ea5119cdb4c55b55d432abb513a0429384878c15dde60cc77b1c99de1a95a6a"
282
283[[package]]
284name = "termcolor"
285version = "1.2.0"
286source = "registry+https://github.com/rust-lang/crates.io-index"
287checksum = "be55cf8942feac5c765c2c993422806843c9a9a45d4d5c407ad6dd2ea95eb9b6"
288dependencies = [
289 "winapi-util",
290]
291
292[[package]]
293name = "textwrap"
294version = "0.11.0"
295source = "registry+https://github.com/rust-lang/crates.io-index"
296checksum = "d326610f408c7a4eb6f51c37c330e496b08506c9457c9d34287ecc38809fb060"
297dependencies = [
298 "unicode-width",
299]
300
301[[package]]
302name = "unicode-ident"
303version = "1.0.8"
304source = "registry+https://github.com/rust-lang/crates.io-index"
305checksum = "e5464a87b239f13a63a501f2701565754bae92d243d4bb7eb12f6d57d2269bf4"
306
307[[package]]
308name = "unicode-width"
309version = "0.1.10"
310source = "registry+https://github.com/rust-lang/crates.io-index"
311checksum = "c0edd1e5b14653f783770bce4a4dabb4a5108a5370a5f5d8cfe8710c361f6c8b"
312
313[[package]]
314name = "vec_map"
315version = "0.8.2"
316source = "registry+https://github.com/rust-lang/crates.io-index"
317checksum = "f1bddf1187be692e79c5ffeab891132dfb0f236ed36a43c7ed39f1165ee20191"
318
319[[package]]
320name = "version_check"
321version = "0.9.4"
322source = "registry+https://github.com/rust-lang/crates.io-index"
323checksum = "49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f"
324
325[[package]]
326name = "which"
327version = "3.1.1"
328source = "registry+https://github.com/rust-lang/crates.io-index"
329checksum = "d011071ae14a2f6671d0b74080ae0cd8ebf3a6f8c9589a2cd45f23126fe29724"
330dependencies = [
331 "libc",
332]
333
334[[package]]
335name = "winapi"
336version = "0.3.9"
337source = "registry+https://github.com/rust-lang/crates.io-index"
338checksum = "5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419"
339dependencies = [
340 "winapi-i686-pc-windows-gnu",
341 "winapi-x86_64-pc-windows-gnu",
342]
343
344[[package]]
345name = "winapi-i686-pc-windows-gnu"
346version = "0.4.0"
347source = "registry+https://github.com/rust-lang/crates.io-index"
348checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
349
350[[package]]
351name = "winapi-util"
352version = "0.1.5"
353source = "registry+https://github.com/rust-lang/crates.io-index"
354checksum = "70ec6ce85bb158151cae5e5c87f95a8e97d2c0c4b001223f33a334e3ce5de178"
355dependencies = [
356 "winapi",
357]
358
359[[package]]
360name = "winapi-x86_64-pc-windows-gnu"
361version = "0.4.0"
362source = "registry+https://github.com/rust-lang/crates.io-index"
363checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
364
365[[package]]
366name = "z3"
367version = "0.11.2"
368source = "registry+https://github.com/rust-lang/crates.io-index"
369checksum = "d25754b4bf4516a65d0e596ea9c1f0082224bdf20823a37fdd9111fa08d5bf48"
370dependencies = [
371 "lazy_static",
372 "log",
373 "z3-sys",
374]
375
376[[package]]
377name = "z3-sys"
378version = "0.7.1"
379source = "registry+https://github.com/rust-lang/crates.io-index"
380checksum = "1c82dcbc58be4bf1994c520066cb2bd6c3d36aed0fdc57244f34d277421986a6"
381dependencies = [
382 "bindgen",
383]