Comments (5)
I am sorry to say that I gave up on this project. There were too many problems I didn't know how to solve given the time constraint of my PhD. And also my motivation dropped in the process.
Feel free to use any code or data of this project or ask questions regarding the implementation. In particular the recording part should be quiet good, having only up to 1% overhead in the SPEC benchmark: https://github.com/hase-project/hase/blob/master/hase/pt.py
We also collected crash traces of a large corpus for a rather large corpus, that might be helpful: https://github.com/hase-project/bug-db
You can download the collected traces/coredumps using via the rsync protocol:
rsync -va thalheim.io::hase /tmp/hase
from hase.
Thanks for replying! I think this is a great project, and Iโm sorry to hear that you do not plan to continue it.
What license does hase use? There isnโt any license as far as I know.
from hase.
Good point. I actually added a license file to my project, but forgot to push it:
https://github.com/hase-project/hase/blob/master/LICENSE.md
Same license as angr to keep things simple.
from hase.
Hey Fish, I hope you are doing well. I hope we can collaborate on this. We are trying to see what kind of resources we can dedicate to this on our end, and we'll be in touch very soon.
from hase.
I hope we can collaborate on this.
Yep! That'll be great. It would be awesome to know your plans for this project to move forward, as well as your research ideas. We should collaborate on both fronts.
@Mic92 Thanks for choosing BSD 2!
from hase.
Related Issues (20)
- Evaluate recording overhead of system calls
- Re-Implement recording single processes
- Missing the last instruction HOT 1
- Some traces are not correctly decoded HOT 4
- Data constraints are not enabled due to rsp and rip mismatch HOT 1
- coreutils-7.2-sort.tar.gz trace seems not complete HOT 1
- Support partial trace
- Replay Evaluation
- mprotect cannot handle symbolic addresses HOT 3
- sym_struct has no c_cls attribute HOT 2
- strstr passes None to solver. HOT 9
- WrTmp object has no attribute 'guard' HOT 15
- Evaluation status HOT 5
- Unsupported operation: Iop_MAddF64 HOT 4
- SimZeroDivisionException: divide by zero! HOT 4
- What is 'hase'? HOT 2
- w3m-27 trace misses valid sections (maybe library) HOT 11
- Exception: target of reg_concrete is symbolic! HOT 2
- hase: cannot return from a system call loopy HOT 1
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 hase.