about summary refs log tree commit diff homepage
path: root/lib/Core/Memory.cpp
AgeCommit message (Expand)Author
2024-02-29Refactor `ObjectState::flushToConcreteStore` to use `toConstant`Martin Nowack
2024-02-29Use correctly constrained constants if the memory object is fully symbolicMartin Nowack
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2022-09-26Improve the message for when large arrays become symbolic. Only print this w...Cristian Cadar
2022-01-06Comment the code dealing with un/flushed bytes, and resolve old naming issue ...Cristian Cadar
2020-11-12Ref: implement operator bool()Julian Büning
2020-07-01Use constraint sets and separate metadata for timing solver invocationMartin Nowack
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed include/klee/util and moved header files to appropriate placesCristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-02-19Use `ref<>` for MemoryObject handlingMartin Nowack
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-03-15Added help message for --use-constant-arrays, and placed option in the constr...Cristian Cadar
2018-05-17Add support for concretizing symbolic objects passed to external functionsTimotej Kapus
2018-02-18Make print function of ObjectState public and constMartin Nowack
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-12-17Clean up the check in the previous commit by using one of KLEE'sDan Liew
2015-12-17Fixed a bug with how non power 2 values were written to memory, added test fo...Timotej Kapus
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-04-01[Core] Fixed typo in assertionMartin Nowack
2015-02-27Improved some comments and fixed some formatting issues in the Array factory ...Cristian Cadar
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-06ObjectState::concreteStore initialised.Hristina Palikareva
2012-01-18Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memoryCristian Cadar
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2011-11-04Patch by Tom Bergan that fixes multi-byte reads on big-endian architectures.Cristian Cadar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-07-28KLEE64: Regardless of the target, offsets in the memory subsystem are 32-bits. IDaniel Dunbar
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
2009-07-25(llvm up) Update for llvm::Value getName() change.Daniel Dunbar
2009-06-26Simplify read/write code.Daniel Dunbar
2009-06-14Kill off ExtractExpr::createByteOff.Daniel Dunbar
2009-06-14More ConstantExpr tweaks.Daniel Dunbar
2009-06-14Add ConstantExpr::{getLimitedValue,getZExtValue}.Daniel Dunbar
2009-06-14Add constant folding operations to ConstantExpr.Daniel Dunbar
2009-06-13Switch to using constant arrays for non-symbolic objects.Daniel Dunbar
2009-06-13Create new ObjectState constructor for explicitly creating symbolic objects.Daniel Dunbar
2009-06-10Move Array construction out of MemoryObject into ObjectState.Daniel Dunbar
2009-06-09Kill off UpdateList::isRooted flag.Daniel Dunbar
2009-06-05Clean up a number of unused variable warnings when building w/oDaniel Dunbar
2009-06-04Finish removing uses of Expr::isConstant.Daniel Dunbar
2009-06-04Start removing uses of Expr::isConstant.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-02 17:17:38 +0000