Hi again Alastair,
I'm not aware of anything like this, but it would be a nice extension of
KLEE's POSIX environment.
Best,
Cristian
On 30/07/2020 17:37, Alastair Reid wrote:
Is there a dummy pthread library that I can use with single-threaded
programs that only use a single thread but are linked against
thread-safe libraries (i.e., threads that call pthread_* functions).
I am 99.9% sure that I don't need any actual thread support - just an
implementation that pretends to support a single thread.
I'm guessing that a dummy library would mostly consist of a bunch of
functions that return constant values because there is only one thread,
no lock contention, etc.
And I'm also guessing that somebody has already implemented such a library.
--
Alastair Reid
ps The functions that I need (as reported when I run KLEE) are:
pthread_attr_destroy
pthread_attr_getstack
pthread_attr_init
pthread_cond_destroy
pthread_cond_init
pthread_cond_signal
pthread_cond_wait
pthread_condattr_destroy
pthread_condattr_init
pthread_condattr_setclock
pthread_getattr_np
pthread_getspecific
pthread_key_create
pthread_key_delete
pthread_mutex_destroy
pthread_mutex_init
pthread_mutex_lock
pthread_mutex_unlock
pthread_mutexattr_destroy
pthread_mutexattr_init
pthread_mutexattr_settype
pthread_rwlock_rdlock
pthread_rwlock_unlock
pthread_rwlock_wrlock
pthread_self
pthread_setspecific
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
