~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-11	Rewrote has_permission in the POSIX runtime. We now only return with permiss...	Cristian Cadar
2023-03-23	fix unused variable warning	Daniel Schemmel
2022-07-07	POSIX runtime: fstatat: check for nonnull path APIs	Frank Busse
2020-12-23	posix runtime: getcwd: check malloc and set errno	Frank Busse
2020-04-09	[posix-runtime] Improve model to handle full-path symbolic files	Timotej Kapus
2020-03-22	[posix-runtime] Simple GET/SET_LK model	Timotej Kapus
2019-11-05	Do not modify strings if they are read-only.	Martin Nowack
2019-07-30	Use #include "klee/..." (instead of #include <klee/...>) consistently.	Cristian Cadar
2019-04-02	POSIX runtime fixes for FreeBSD.	Gleb Popov
2018-05-07	Fixed utimes() behavior for symbolic files when the second argument is NULL	yxliang01
2018-05-05	Fix handling of errno if external functions are invoked	Martin Nowack
2017-03-20	runtime: POSIX, check path prior dereference	Jiri Slaby
2014-09-14	Replace fprintf with klee_warnings for POSIX lib	Martin Nowack
2013-11-14	Fix lseek and getdents	Martin Nowack
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu
2010-06-28	Applied Stefan Bucur's patch from	Cristian Cadar
2009-08-01	Fixes for building runtime on linux x86-64.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar