Search posts, tags, users, and pages
Retriever
T4 raw pointer declarationT5: raw pointer dereferences, T6: FNs using raw pointers in a given T3: # of fns affected by each cat of unsafety(Union, Global, InlineAsm, Extern, RawDeref, Cast, Alloc, FP)T2: times cat of unsafety appear in each corpus pr...
{ "version": "0.2.0", "configurations": [ { "type": "lldb", "request": "launch", "name": "Launch unsafe-counter", "cargo": { "args": ["run", "--release", "--bin", "unsafe-counter"], "filter": { "name": "unsafe-counter", "kind": "bin" } }, "args": ["/root/lab/laertes/rewrite-workspace/bzip2/rust/c2rust-lib.rs"], "cwd": "/root/lab/unsafe-counter" } ] }
{ // Use IntelliSense to learn about possible attributes. // Hover to view descriptions of existing attributes. // For more information, visit: go.microsoft.com/fwlink "version": "0.2.0", "configurations": [ { "type": "lldb", "request": "launch", "name": "Debug unit tests in library 'laertes'", "cargo": { "args": [ "test", "--no-run", "--lib", "--package=laertes" ], "filter": { "name": "laertes", "kind": "lib" } }, "args": [], "cwd": "${workspaceFolder}" }, { "type": "lldb", "request": "launch", "name": "Debug executable 'unsafe-counter'", "cargo": { "args": [ "build", "--bin=unsafe-counter", "--package=laertes" ], "filter": { "name": "unsafe-counter", "kind": "bin" } }, "args": [], "cwd": "${workspaceFolder}" }, { "type": "lldb", "request": "launch", "name": "Debug unit tests in executable 'unsafe-counter'", "cargo": { "args": [ "test", "--no-run", "--bin=unsafe-counter", "--package=laertes" ], "filter": { "name": "unsafe-counter", "kind": "bin" } }, "args": [], "cwd": "${workspaceFolder}" } ] }
{ "version": "0.2.0", "configurations": [ { "type": "lldb", "request": "launch", "name": "Launch unsafe-counter", "cargo": { "args": ["run", "--release", "--bin", "unsafe-counter"], "filter": { "name": "unsafe-counter", "kind": "bin" } }, "args": ["/root/lab/laertes/rewrite-workspace/bzip2/rust/c2rust-lib.rs"], "cwd": "/root/lab/unsafe-counter" } ] }