Oren Ish Shalom
Oren Ish Shalom
Hi guys, Can you take a look at [this SO post](https://stackoverflow.com/questions/68468609/capstone-wrong-regs-read-regs-write-value) (it looks like a bug, unless I'm missing something?)
- I'm running your introductory example from [here](https://pyre-check.org/docs/pysa-running/) *exactly* as written. - It takes around **15 min** (!) to finish, during which I see that pyre analyzes around **40k** (!)...
Quickest question: What should I set `gtirb_DIR` and `gtirb_pprinter_DIR`? I can't seem to locate neither `gtirbConfig.cmake` nor `gtirb-config.cmake` like `cmake` is asking me to. Thanks!
Hi guys, quick question: I want to reference your work for a slides assignment on Coq extractions, where can I find the formulation of the fundamental theorem of algebra? A...
Hi, when I run fuzzilli according to the instructions [here](https://github.com/googleprojectzero/fuzzilli/blob/main/README.md#usage), I get: ``` $ swift run FuzzilliCli --profile=v8 --storagePath=/home/oren/Downloads/AAA --inspect=all ./input.js [0/0] Build complete! [REPRL] Script execution failed: Did not...
Hi, Regarding issue #1614, we ran the following query with and without **smt.string_solver=z3str3**. The speedup **in favor of** smt.string_solver=z3str3 was the biggest we've seen so far (**100x**) We wanted to...
Hi, I have the following simple unsat query for which **z3 returns immediately with a correct answer**. When I try it with **smt.string_solver=z3str3**, it hangs (for at least 10 mins...
Hi! I can't seem to build your project: ``` $ ../../Downloads/gradle-6.7/bin/gradle build FAILURE: Build failed with an exception. * Where: Build file '~/GIT/r8/build.gradle' line: 9 * What went wrong: A...
``` var X : set := {3,4,5} if (6 in X) { ... } ``` The `in` word is *not* highlighted in vim. Any chance to fix this? Thanks!
Hi @aeflores , the following program returns `Asymptotic class: infinity`, and we wanted to know if this failure is due to an **inherent limitation in the cost relation solving**? or...