Comments (3)
Hi @mrT4ntr4,
Thanks for the report.
You are right the default timeout for the solver is 10 seconds and there is no option to change that parameter. I'm gonna create an issue to configure the timeout on the configuration.
I hope to get some time to work on the second week of the next year.
Cheers
from ponce.
Can you test it now?
from ponce.
With the latest version of Ponce you can set an arbitrary solver timeout on Ponce's configuration. I'm gonna close this issue but let me know if it's not working for you and I'll reopen.
Cheers
from ponce.
Related Issues (20)
- When using Taint Engine tainted operands are not shown HOT 3
- Use vcpkg to build z3 on linux github action HOT 2
- Make sure we do not restart engines after disable Ponce HOT 1
- Provide solution for large number of solve actions
- Build link doesn't work HOT 4
- IDA 7.5 plugin for MAC doesn't work HOT 2
- Access violation exception causing crash in IDA Pro 7.5 HOT 7
- Is there a python version HOT 1
- IDA 7.5 plugin for Windows doesn't work HOT 1
- Triton "addCallback" API has changed HOT 3
- IDA 7.5 using Ponce v0.31 will warn "Duplicate field id 3" HOT 1
- SOFTWARE_NX_FAULT_c0000005_Ponce64.dll!Unknown HOT 1
- Crashed HOT 1
- IDA Pro crash due to invalid pointer dereference HOT 2
- Ponce v0.3.4 causing crash in IDA 7.7.220118 HOT 1
- Unsupported error for every instruction HOT 1
- Ponce standard instructions not supported windbg HOT 4
- Unhandled C++ exception: x8664Cpu::setConcreteRegisterValue() HOT 1
- for ida 8.3 HOT 8
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ponce.