about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2017-07-13expand commentRalf Jung-1/+3
2017-07-13Reuse the `const_eval` method for syscall name resolutionOliver Schneider-34/+22
2017-07-13Don't use magic numbers for synconf namesOliver Schneider-10/+59
2017-07-13Copy `path_to_def` from clippyOliver Schneider-1/+34
2017-07-12fix "unaligned" transmuteRalf Jung-2/+2
2017-07-12track alignment also for ByRef valuesRalf Jung-100/+156
2017-07-12Memory::read_ptr has to check for relocations on the edgesRalf Jung-0/+1
2017-07-12Rename value accessors to "into_*" so the three of them are better alignedRalf Jung-43/+45
2017-07-12Re-do packed memory accessesRalf Jung-138/+83
2017-07-12Produce `ConstInt` from a `def_id` for rustcOliver Schneider-0/+68
2017-07-11hooking mmap is no longer neededRalf Jung-6/+0
2017-07-11Document the reason for `Pointer`'s existenceOliver Schneider-0/+4
2017-07-11Simplify `with_extra`Oliver Schneider-16/+19
2017-07-11Remove `*offset*` methods from `PrimVal` onto `Pointer`Oliver Schneider-36/+24
2017-07-11Use a wrapper type to differentiate between PrimVal and pointersOliver Schneider-108/+170
2017-07-11Add a dedicated `write_null` methodOliver Schneider-15/+22
2017-07-11Rename Pointer to MemoryPointerOliver Schneider-79/+79
2017-07-10leave notes regarding possible alignment checksRalf Jung-0/+2
2017-07-10update for allocator APIRalf Jung-77/+95
2017-07-10simplify reallocateRalf Jung-40/+7
2017-07-05Merge pull request #234 from RalfJung/reallocateOliver Schneider-88/+115
2017-07-05refine comment explaining the order of checks on deallocateRalf Jung-1/+1
2017-07-04Merge pull request #232 from oli-obk/masterOliver Schneider-106/+104
2017-07-04Merge pull request #235 from RalfJung/intrinsicsOliver Schneider-17/+57
2017-07-03catch overflows that are hidden by first casting the RHS to u32Ralf Jung-14/+14
2017-07-03check the assumptions made by the unchecked_ and copy_nonoverlapping intrinsicsRalf Jung-6/+19
2017-07-03implement the unchecked_ intrinsics; add all the doctests from one of the int...Ralf Jung-0/+27
2017-07-03validate size and alignment on reallocate and deallocateRalf Jung-23/+32
2017-07-03properly check for: double-free, use-after-reallocateRalf Jung-66/+84
2017-07-03Fix transmute on ByValPairRalf Jung-9/+7
2017-07-03Only check pointers when dereferencingOliver Schneider-106/+104
2017-06-29get cargo-miri to workDavid Renshaw-19/+17
2017-06-29Merge pull request #223 from oli-obk/lvalue_readOliver Schneider-7/+102
2017-06-29normalize signature before passing to check_sig_compatDavid Renshaw-0/+1
2017-06-28update for upstream changes to TyFnDefDavid Renshaw-8/+11
2017-06-28Merge pull request #222 from oli-obk/const_eval_checksOliver Schneider-19/+23
2017-06-28cast -> transmuteRalf Jung-2/+2
2017-06-28Optimize lvalue reads from Value::ByVal and Value::ByValPairOliver Schneider-5/+100
2017-06-28Code nitsOliver Schneider-2/+2
2017-06-28Address commentsOliver Schneider-19/+23
2017-06-28Reword commentsOliver Schneider-2/+2
2017-06-27Simplify all the codeOliver Schneider-118/+36
2017-06-26Initial work towards checking const eval rules in miriOliver Schneider-0/+46
2017-06-24fix build after rebaseRalf Jung-3/+1
2017-06-24Clarify pattern matchingRalf Jung-13/+18
2017-06-24check alignment of pointers on RefRalf Jung-0/+21
2017-06-24handle ptr-int casts explicitly in cast.rsRalf Jung-22/+27
2017-06-23PrimVal used to allow comparing `Undef`Oliver Schneider-4/+16
2017-06-23fetch_tls_dtor "read" an `Undef` as nonzeroOliver Schneider-5/+9
2017-06-23TypoOliver Schneider-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 05:12:33 +0000