refactor: clean up dead code and fix string constant sizes

Author: Timwood0x10

CODE_REVIEW_2026-06-07.md

@@ -9,7 +9,7 @@
 ; ============================================================================
 
 @.str.sensitive = private unnamed_addr constant [15 x i8] c"sensitive data\00", align 1
-@.str.nested = private unnamed_addr constant [26 x i8] c"nested pointer target data\00", align 1
+@.str.nested = private unnamed_addr constant [27 x i8] c"nested pointer target data\00", align 1
 @.str.delegate_msg = private unnamed_addr constant [14 x i8] c"callback data\00", align 1
 @.str.com_obj = private unnamed_addr constant [11 x i8] c"COM object\00", align 1
 @.str.test = private unnamed_addr constant [10 x i8] c"test data\00", align 1

FFI_DETECTION_GAPS_PLAN.md

@@ -12,7 +12,7 @@
 @.str.6 = private unnamed_addr constant [10 x i8] c"weak_ref\0A\00", align 1, !dbg !32
 @.str.7 = private unnamed_addr constant [8 x i8] c"Thread\0A\00", align 1, !dbg !37
 @.str.8 = private unnamed_addr constant [10 x i8] c"callback\0A\00", align 1, !dbg !42
-@.str.9 = private unnamed_addr constant [12 x i8] c"post-exc %d\0A\00", align 1, !dbg !47
+@.str.9 = private unnamed_addr constant [13 x i8] c"post-exc %d\0A\00", align 1, !dbg !47
 @g_cached_local_ref = internal global ptr null, align 8, !dbg !52
 @g_native_weak = internal global ptr null, align 8, !dbg !59
 

corpus/red_team_test/csharp_ffi_edge_cases.bc.pp

@@ -8,7 +8,7 @@
 @.str.2 = private unnamed_addr constant [8 x i8] c"data: \0A\00", align 1, !dbg !12
 @.str.3 = private unnamed_addr constant [7 x i8] c"utf8s\0A\00", align 1, !dbg !17
 @.str.4 = private unnamed_addr constant [5 x i8] c"caps\00", align 1, !dbg !22
-@.str.5 = private unnamed_addr constant [14 x i8] c"val: %p %s\0A\00", align 1, !dbg !27
+@.str.5 = private unnamed_addr constant [12 x i8] c"val: %p %s\0A\00", align 1, !dbg !27
 @.str.6 = private unnamed_addr constant [11 x i8] c"threadbuf\0A\00", align 1, !dbg !32
 @.str.7 = private unnamed_addr constant [6 x i8] c"init\0A\00", align 1, !dbg !37
 @.str.8 = private unnamed_addr constant [14 x i8] c"after reinit\0A\00", align 1, !dbg !42

corpus/red_team_test/java_jni_edge_cases.bc.pp

@@ -15,13 +15,13 @@
 @g_je_ptr = internal global ptr null, align 8, !dbg !24
 
 @.str.box_data = private unnamed_addr constant [15 x i8] c"Box owned data\00", align 1, !dbg !28
-@.str.vec_data = private unnamed_addr constant [19 x i8] c"original vec data\00", align 1, !dbg !35
+@.str.vec_data = private unnamed_addr constant [18 x i8] c"original vec data\00", align 1, !dbg !35
 @.str.cstring_src = private unnamed_addr constant [25 x i8] c"CString from Rust custom\00", align 1, !dbg !40
 @.str.pin_data = private unnamed_addr constant [14 x i8] c"Pinned object\00", align 1, !dbg !45
-@.str.phantom_data = private unnamed_addr constant [18 x i8] c"phantom ref data\00", align 1, !dbg !50
-@.str.mutex_inner = private unnamed_addr constant [17 x i8] c"mutex protected\00", align 1, !dbg !55
-@.str.arc_data = private unnamed_addr constant [12 x i8] c"Arc shared\00", align 1, !dbg !60
-@.str.transmuted = private unnamed_addr constant [20 x i8] c"transmuted pointer\00", align 1, !dbg !65
+@.str.phantom_data = private unnamed_addr constant [17 x i8] c"phantom ref data\00", align 1, !dbg !50
+@.str.mutex_inner = private unnamed_addr constant [16 x i8] c"mutex protected\00", align 1, !dbg !55
+@.str.arc_data = private unnamed_addr constant [11 x i8] c"Arc shared\00", align 1, !dbg !60
+@.str.transmuted = private unnamed_addr constant [19 x i8] c"transmuted pointer\00", align 1, !dbg !65
 
 ; TC-RUST-09: Box::into_raw + double free via alias
 ; Bug: Rust Box gives ptr to C, C stores in struct field, both Drop and free() run on same pointer

corpus/red_team_test/python_capi_edge_cases.bc.pp

@@ -23,11 +23,11 @@
 ; Opaque C struct used for retain cycle test
 %COpaqueStruct = type { ptr, i64, ptr }
 
-@.str.bug01 = private unnamed_addr constant [34 x i8] c"BUG-01: Unmanaged double release\00", align 8
+@.str.bug01 = private unnamed_addr constant [33 x i8] c"BUG-01: Unmanaged double release\00", align 8
 @.str.bug02 = private unnamed_addr constant [31 x i8] c"BUG-02: withUnsafeBytes escape\00", align 8
 @.str.bug03 = private unnamed_addr constant [30 x i8] c"BUG-03: fromOpaque wrong type\00", align 8
-@.str.bug04 = private unnamed_addr constant [32 x i8] c"BUG-04: autoreleasepool escape\00", align 8
-@.str.bug05 = private unnamed_addr constant [19 x i8] c"BUG-05: weak race\00", align 8
+@.str.bug04 = private unnamed_addr constant [31 x i8] c"BUG-04: autoreleasepool escape\00", align 8
+@.str.bug05 = private unnamed_addr constant [18 x i8] c"BUG-05: weak race\00", align 8
 @.str.bug06 = private unnamed_addr constant [27 x i8] c"BUG-06: Sendable violation\00", align 8
 @.str.bug07 = private unnamed_addr constant [21 x i8] c"BUG-07: retain cycle\00", align 8
 @.str.bug08 = private unnamed_addr constant [39 x i8] c"BUG-08: withExtendedLifetime early ret\00", align 8

corpus/red_team_test/rust_ffi_edge_cases.bc.pp

@@ -27,7 +27,7 @@
 @.str.safe = private unnamed_addr constant [14 x i8] c"safe zig data\00", align 1
 
 ; Static (comptime) string -- lives in read-only memory
-@comptime_string = private unnamed_addr constant [18 x i8] c"comptime string!\00", align 1
+@comptime_string = private unnamed_addr constant [17 x i8] c"comptime string!\00", align 1
 
 ; ============================================================================
 ; Bug 01: Allocator mismatch (page_allocator vs c free)