2017-07-26 |
Ralf Jung | whitelist some more methods
|
commit | commitdiff | tree |
2017-07-26 |
Ralf Jung | move undef-check-on-release-validation out, to catch...
|
commit | commitdiff | tree |
2017-07-26 |
Ralf Jung | check mutable UnsafeCell; hack for AtomicBool::get_mut
|
commit | commitdiff | tree |
2017-07-26 |
Ralf Jung | more hacks to make test cases pass
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | whitelist things so that more tests pass
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | suspend lvalues, not locks. refactor memory locking.
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | make LockInfo non-Copy
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | fix checks when releasing write locks (101)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | we don't have to set the frame on every step
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | handle type of function definitions (98)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | we need to normalize associated types also deep in...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | Handle trait objects. Only very superficial checking...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | nits. also, rustc now emits released for drop. (72)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | exempt UnsafeCell from checks (69)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | move validation to its own file
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | we have to permit deallocation memory for which we...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | fix handling univariant enums (62)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | permit locking constant memory (60)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | fn ptrs and never were accidentally disabled (55)
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | fix normalizing associated types. this brings us up...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | handle array types
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | Re-do the way locking is done during verification
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | for references, validate alignment and handle ZSTs
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | validate TyClosure, TyTuple, TyNever
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | various small fixes and tracing
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | Also release locks on ReleaseValidation and EndRegion
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | fix release_lock_until to no longer remove inactive...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | avoid downcasting for enum variants without further...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | validate boxes
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | implement checking for ADTs
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | implement stub validity check for basic types (bool...
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | implement acquiring and releasing locks
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | add locking data structures and lock checks
|
commit | commitdiff | tree |
2017-07-25 |
Ralf Jung | update for rustc changes: treat new MIR commands as NOP
|
commit | commitdiff | tree |
2017-07-22 |
Ralf Jung | move pointer truncation to a common method in memory.rs
|
commit | commitdiff | tree |
2017-07-22 |
Ralf Jung | fix nits
|
commit | commitdiff | tree |
2017-07-22 |
Ralf Jung | refactor casting code to more clearly handle pointers
|
commit | commitdiff | tree |
2017-07-22 |
Ralf Jung | fix casting integers to pointers
|
commit | commitdiff | tree |
2017-07-20 |
Ralf Jung | always test alignment in memory.rs
|
commit | commitdiff | tree |
2017-07-20 |
Ralf Jung | remove ad-hoc 'never' type check in read_lvalue
|
commit | commitdiff | tree |
2017-07-20 |
Ralf Jung | add test for misaligned pointer loads
|
commit | commitdiff | tree |
2017-07-20 |
Ralf Jung | fix checking alignment of pointer loads
|
commit | commitdiff | tree |
2017-07-19 |
Ralf Jung | fix a warning
|
commit | commitdiff | tree |
2017-07-19 |
Ralf Jung | split up the test suite
|
commit | commitdiff | tree |
2017-07-19 |
Ralf Jung | enable test code that passes just fine
|
commit | commitdiff | tree |
2017-07-19 |
Ralf Jung | Don't pretend that casts to bool are a thing
|
commit | commitdiff | tree |
2017-07-19 |
Ralf Jung | No longer check aligment and non-NULLness on `&`
|
commit | commitdiff | tree |
2017-07-18 |
Ralf Jung | use libstd methods for floating-point <-> bytes conversion
|
commit | commitdiff | tree |
2017-07-18 |
Ralf Jung | remove reundant dangling checks in {r,d}eallocate
|
commit | commitdiff | tree |
2017-07-14 |
Ralf Jung | lvalue: refactoring to permit applying a mir projection...
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | packed structs: test unsize coercions
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | use closures to ensure proper bracketing of unaligned...
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | simplify
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | show alignedness of ByRefs; allow converting unaligned...
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | make all Value::into_* methods handle alignment the...
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | expand comment
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | fix "unaligned" transmute
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | track alignment also for ByRef values
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | Memory::read_ptr has to check for relocations on the...
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | Rename value accessors to "into_*" so the three of...
|
commit | commitdiff | tree |
2017-07-13 |
Ralf Jung | Re-do packed memory accesses
|
commit | commitdiff | tree |
2017-07-12 |
Ralf Jung | hooking mmap is no longer needed
|
commit | commitdiff | tree |
2017-07-11 |
Ralf Jung | add little script to build libstd
|
commit | commitdiff | tree |
2017-07-11 |
Ralf Jung | Add a test for using a too big alignment on reallocate
|
commit | commitdiff | tree |
2017-07-11 |
Ralf Jung | leave notes regarding possible alignment checks
|
commit | commitdiff | tree |
2017-07-10 |
Ralf Jung | update tests for new allocator API
|
commit | commitdiff | tree |
2017-07-10 |
Ralf Jung | update for allocator API
|
commit | commitdiff | tree |
2017-07-10 |
Ralf Jung | update for latest nightly
|
commit | commitdiff | tree |
2017-07-10 |
Ralf Jung | simplify reallocate
|
commit | commitdiff | tree |
2017-07-05 |
Ralf Jung | refine comment explaining the order of checks on deallocate
|
commit | commitdiff | tree |
2017-07-04 |
Ralf Jung | add test for div-by-zero with the operator (rather...
|
commit | commitdiff | tree |
2017-07-04 |
Ralf Jung | catch overflows that are hidden by first casting the...
|
commit | commitdiff | tree |
2017-07-04 |
Ralf Jung | check the assumptions made by the unchecked_ and copy_nonove...
|
commit | commitdiff | tree |
2017-07-04 |
Ralf Jung | implement the unchecked_ intrinsics; add all the doctests...
|
commit | commitdiff | tree |
2017-07-04 |
Ralf Jung | make u128 test work (commenting out the use of checked_shl)
|
commit | commitdiff | tree |
2017-07-03 |
Ralf Jung | validate size and alignment on reallocate and deallocate
|
commit | commitdiff | tree |
2017-07-03 |
Ralf Jung | fix test on i686
|
commit | commitdiff | tree |
2017-07-03 |
Ralf Jung | properly check for: double-free, use-after-reallocate
|
commit | commitdiff | tree |
2017-07-03 |
Ralf Jung | Fix transmute on ByValPair
|
commit | commitdiff | tree |
2017-06-28 |
Ralf Jung | cast -> transmute
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | fix build after rebase
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | remove redundant test
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | Clarify pattern matching
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | make sure that 'identity casting' works
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | check alignment of pointers on Ref
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | handle ptr-int casts explicitly in cast.rs
|
commit | commitdiff | tree |
2017-06-24 |
Ralf Jung | Make sure that casting a ptr-integer down to u8 makes...
|
commit | commitdiff | tree |
2017-06-23 |
Ralf Jung | use PrimVal::to_bool rather than bytes_to_bool
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | add some compile-fail tests
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | permit bit-anding in pointer values below the alignment
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | implement _nonzero intrinsics
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | permit all kinds of 0-offsets on ZSTs
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | permit offsetting a NULL-ptr by 0, to fix hashmap test
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | fix unused variable warning
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | use PrimVal::is_null
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | allow any offset on integer pointers
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | test HashMap creation in libstd-MIR, and make it work...
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | refactor pointer arithmetic handling
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | add test for function pointer offsets
|
commit | commitdiff | tree |
2017-06-22 |
Ralf Jung | correctly reject functions pointers that had arithmetic...
|
commit | commitdiff | tree |
next |