Comments (8)
Not all of Pharos can be run in parallel. What tool are you using, and what does the log indicate is going on at that time?
from pharos.
I am using ooanalyze, the partion step may const too much time and not utilize full cpu cores. And now the prolog reasoning step conitnues log "update_return_values, no output state for xxxxxx". Can I ignore these errors log?
from pharos.
Because the partioning step is so slow, I have to run serval binaries together to reduce the whole time.
from pharos.
To speed up partitioning, you can try using --no-semantics
.
If you are seeing a lot of errors about no output state, you have probably run into a resource limit. Try the following options: --timeout 86400 --maximum-memory 100000 --partitioner-timeout 86400
from pharos.
Ok, thank you, I will hava a try.
from pharos.
To speed up partitioning, you can try using
--no-semantics
.If you are seeing a lot of errors about no output state, you have probably run into a resource limit. Try the following options:
--timeout 86400 --maximum-memory 100000 --partitioner-timeout 86400
Can I just run some analysis on specific class or symbol, because I can figure the address manually or from the export table symbol, I can figure out some class. How to just run some of them, not all ?
Analysing whole binary cost too much time.
from pharos.
This is not really possible in OOAnalyzer. Even if you know which methods you are interested in, facts from other methods still play an important role in deducing information.
from pharos.
If you are still having trouble, please reopen.
from pharos.
Related Issues (20)
- no need to create lies HOT 1
- ooprolog crash HOT 16
- Consistency checks failed in ooprolog. HOT 22
- Partition stuck at 94%, seems to not be using available memory HOT 14
- Partitioner stucks at 17 % and often gets killed HOT 4
- crash in partitioning: basic block does not contain instruction HOT 8
- Is there a method to exclude classes by name? HOT 29
- Add Support For Non-Standard Windows Based Executables. HOT 6
- Initial sanity check failed in ooprolog HOT 6
- Contribute to OOAnalyzer HOT 1
- Where can I find a plugin for Ghidra? HOT 1
- WSL: cannot see file mapped HOT 1
- Build error running make on CentOS 7 (error: constructor required before non-static data member) HOT 12
- Initial sanity checks failed: Contradictory information about constructor: factConstructor(0x4a347b) but reasonNOTConstructor(0x4a347b) HOT 2
- Unknown message: error(system_error(initialSanityChecks)) error from ooprolog HOT 24
- fn2yara segfaults HOT 2
- Duplicate IntegerOffsetSearcher code in funcs.cpp and fn2yara.cpp
- Concurrency problems in fn2hash and other tools HOT 15
- Segmentation fault (core dumped) HOT 6
- Broken link in documentation
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 pharos.