mirror of
https://github.com/elicpeter/nyx.git
synced 2026-06-06 19:35:13 +02:00
* chore: Exclude CLAUDE.md from Cargo.toml * feat: add callgraph module and integrate into main analysis flow * feat: enhance CLI with new severity filtering and analysis modes * feat: update CHANGELOG with recent enhancements and fixes to severity filtering and output handling * feat: implement state-model dataflow analysis for resource lifecycle and auth state * feat: enhance diagnostic output formatting and add evidence structure * feat: implement attack surface ranking for diagnostics with scoring and sorting * feat: add comprehensive documentation for installation, usage, and rules reference * feat: add multiple language support for command execution and evaluation endpoints * feat: implement inline suppression for findings using `nyx:ignore` comments * feat: add confidence levels to AST patterns and update output structure * feat: implement low-noise prioritization system with category filtering, rollup grouping, and configurable budgets * feat: bump version to 0.4.0 and update changelog with new features and improvements * feat: add dead code allowances to various functions in mod.rs and real_world_tests.rs
78 lines
1.4 KiB
Rust
78 lines
1.4 KiB
Rust
// Positive fixture: each snippet should trigger the named pattern.
|
|
|
|
use std::mem;
|
|
use std::ptr;
|
|
|
|
// rs.memory.transmute
|
|
fn trigger_transmute() {
|
|
let x: u32 = unsafe { mem::transmute(1.0f32) };
|
|
let _ = x;
|
|
}
|
|
|
|
// rs.memory.copy_nonoverlapping
|
|
fn trigger_copy_nonoverlapping() {
|
|
let src = [1u8; 4];
|
|
let mut dst = [0u8; 4];
|
|
unsafe { ptr::copy_nonoverlapping(src.as_ptr(), dst.as_mut_ptr(), 4) };
|
|
}
|
|
|
|
// rs.memory.get_unchecked
|
|
fn trigger_get_unchecked() {
|
|
let v = vec![1, 2, 3];
|
|
let _ = unsafe { v.get_unchecked(0) };
|
|
}
|
|
|
|
// rs.memory.mem_zeroed
|
|
fn trigger_mem_zeroed() {
|
|
let _: u64 = unsafe { mem::zeroed() };
|
|
}
|
|
|
|
// rs.memory.ptr_read
|
|
fn trigger_ptr_read() {
|
|
let x = 42u32;
|
|
let _ = unsafe { ptr::read(&x) };
|
|
}
|
|
|
|
// rs.quality.unsafe_block
|
|
fn trigger_unsafe_block() {
|
|
unsafe {
|
|
let _ = 1;
|
|
}
|
|
}
|
|
|
|
// rs.quality.unsafe_fn
|
|
unsafe fn trigger_unsafe_fn() {}
|
|
|
|
// rs.quality.unwrap
|
|
fn trigger_unwrap() {
|
|
let x: Option<i32> = Some(1);
|
|
let _ = x.unwrap();
|
|
}
|
|
|
|
// rs.quality.expect
|
|
fn trigger_expect() {
|
|
let x: Option<i32> = Some(1);
|
|
let _ = x.expect("should exist");
|
|
}
|
|
|
|
// rs.quality.panic_macro
|
|
fn trigger_panic() {
|
|
panic!("boom");
|
|
}
|
|
|
|
// rs.quality.todo
|
|
fn trigger_todo() {
|
|
todo!();
|
|
}
|
|
|
|
// rs.memory.narrow_cast
|
|
fn trigger_narrow_cast() {
|
|
let big: u32 = 1000;
|
|
let _ = big as u8;
|
|
}
|
|
|
|
// rs.memory.mem_forget
|
|
fn trigger_mem_forget() {
|
|
let v = vec![1, 2, 3];
|
|
mem::forget(v);
|
|
}
|