Comments (5)
Good catch. We should definitely implement one of these solutions. I guess the setitimer is indeed more flexible. Do you want to write a patch implementing one of them?
from klee.
@251 I believe this very old issue was solved by the new time API you contributed a couple of years back. This being said, I still see a few alarm
calls in the codebase. Is this issue still present after your changes?
from klee.
@ccadar Yes, upstream still uses alarm
and is limited to seconds. MoKlee has a sigtimedwait
implementation though - shall I create a PR?
from klee.
@251 thanks. Would sigtimedwait
work on macOS and FreeBSD? Maybe you can use sigwait
instead?
from klee.
@ccadar sigtimedwait
is part of POSIX and sigwait
is implemented on top of sigtimedwait
in Linux acc. to the man page. Should work for all of them.
from klee.
Related Issues (20)
- Issues Encountered When Compiling findutils Using wllvm HOT 4
- KLEE failed to get concrete value for arguments when calling void ObjectState::flushToConcreteStore() HOT 1
- test case Feature/CompressedExprLogging.c cannot cover test point. HOT 1
- [BUG]: stucking at 99% during building in NixOS HOT 22
- Tests failures with llvm 15 and 16 HOT 13
- KLEE missing an error on symbolic array access HOT 4
- Have Ubuntu systems fall back to build scripts for "Debian" if there isn't an "ubuntu" variant available. HOT 4
- Add support for freeze
- Support LLVM 17 HOT 2
- bug in klee images HOT 1
- KLEE Crashing on Bitcode While Executing Initial LLVM Passes HOT 1
- Unexpected Behavior of MaxTests Option in KLEE Execution Flow
- Some of the system tests fail HOT 2
- Atexit handler not called after exit(2) using klee-libc
- Support symbolic-size allocations
- Some questions regarding the use of KLEE to check for memory leak defects HOT 1
- Possible bug with structs? HOT 1
- The issue of the --single-object-resolution option not working
- run test replay docs? HOT 2
- Compilation aborted error
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 klee.