Vikram Nitin

Results 4 issues of Vikram Nitin

At [this](https://github.com/gluon-lang/gluon/blob/aed148592e8b3c8db4825d9575156171c8a39df6/vm/src/serialization.rs#L39) line in the vm, `DeSeed::new` takes a borrow to `Thread` with an implicit lifetime, and returns a structure with lifetime parameter `'gc`. ``` pub fn new(thread: &Thread, context:...

The lifetime bounds in the methods `as_slice` and `as_slice_mut` in `types::abs::MemMap` ([link](https://github.com/cogciprocate/ocl/blob/4c4578948c45e0c1c02efd2aa2902b768cae1179/ocl-core/src/types/abs.rs#L752-L760)) are currently ``` #[inline(always)] pub unsafe fn as_slice &'_ [T] { slice::from_raw_parts(self.0, len) } #[inline(always)] pub unsafe fn...

This method takes `&self` and returns a `'static` bounded reference. https://github.com/spacejam/sled/blob/69294e59c718289ab3cb6bd03ac3b9e1e072a1e7/src/pagecache/iobuf.rs#L84-L98 This can cause a use-after-free. The following example fails Miri: ```rust use std::{ alloc::{alloc, dealloc, Layout}, sync::Arc, cell::UnsafeCell };...