@sylix/coworker 2.0.11 → 2.0.14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (169) hide show
  1. package/dist/commands/slash/config.d.ts.map +1 -1
  2. package/dist/commands/slash/config.js +22 -4
  3. package/dist/commands/slash/config.js.map +1 -1
  4. package/dist/core/CoWorkerAgent.d.ts.map +1 -1
  5. package/dist/core/CoWorkerAgent.js +6 -3
  6. package/dist/core/CoWorkerAgent.js.map +1 -1
  7. package/dist/skills/defaults/accessibility/screen-reader-testing.md +545 -0
  8. package/dist/skills/defaults/accessibility/wcag-audit-patterns.md +555 -0
  9. package/dist/skills/defaults/ai-ml/rag.md +276 -0
  10. package/dist/skills/defaults/backend-development/api-design-principles.md +528 -0
  11. package/dist/skills/defaults/backend-development/api-design.md +285 -0
  12. package/dist/skills/defaults/backend-development/architecture-patterns.md +494 -0
  13. package/dist/skills/defaults/backend-development/async-python.md +237 -0
  14. package/dist/skills/defaults/backend-development/auth-implementation-patterns.md +638 -0
  15. package/dist/skills/defaults/backend-development/bazel-build-optimization.md +387 -0
  16. package/dist/skills/defaults/backend-development/billing-automation/SKILL.md +566 -0
  17. package/dist/skills/defaults/backend-development/code-review-excellence.md +538 -0
  18. package/dist/skills/defaults/backend-development/cqrs-implementation.md +554 -0
  19. package/dist/skills/defaults/backend-development/database-design.md +305 -0
  20. package/dist/skills/defaults/backend-development/debugging-strategies.md +536 -0
  21. package/dist/skills/defaults/backend-development/e2e-testing-patterns.md +544 -0
  22. package/dist/skills/defaults/backend-development/error-handling-patterns.md +641 -0
  23. package/dist/skills/defaults/backend-development/fastapi-templates.md +559 -0
  24. package/dist/skills/defaults/backend-development/fastapi.md +309 -0
  25. package/dist/skills/defaults/backend-development/git-advanced-workflows.md +405 -0
  26. package/dist/skills/defaults/backend-development/microservices-patterns.md +595 -0
  27. package/dist/skills/defaults/backend-development/microservices.md +284 -0
  28. package/dist/skills/defaults/backend-development/monorepo-management.md +623 -0
  29. package/dist/skills/defaults/backend-development/nodejs-backend-patterns.md +1048 -0
  30. package/dist/skills/defaults/backend-development/nx-workspace-patterns.md +457 -0
  31. package/dist/skills/defaults/backend-development/paypal-integration/SKILL.md +478 -0
  32. package/dist/skills/defaults/backend-development/pci-compliance/SKILL.md +480 -0
  33. package/dist/skills/defaults/backend-development/python-anti-patterns.md +349 -0
  34. package/dist/skills/defaults/backend-development/python-background-jobs.md +364 -0
  35. package/dist/skills/defaults/backend-development/python-code-style.md +360 -0
  36. package/dist/skills/defaults/backend-development/python-configuration.md +368 -0
  37. package/dist/skills/defaults/backend-development/python-design-patterns.md +296 -0
  38. package/dist/skills/defaults/backend-development/python-error-handling.md +323 -0
  39. package/dist/skills/defaults/backend-development/python-packaging.md +887 -0
  40. package/dist/skills/defaults/backend-development/python-performance-optimization.md +874 -0
  41. package/dist/skills/defaults/backend-development/python-project-structure.md +252 -0
  42. package/dist/skills/defaults/backend-development/python-resilience.md +376 -0
  43. package/dist/skills/defaults/backend-development/python-resource-management.md +421 -0
  44. package/dist/skills/defaults/backend-development/python-type-safety.md +428 -0
  45. package/dist/skills/defaults/backend-development/sql-optimization-patterns.md +509 -0
  46. package/dist/skills/defaults/backend-development/stripe-integration/SKILL.md +522 -0
  47. package/dist/skills/defaults/backend-development/turborepo-caching.md +376 -0
  48. package/dist/skills/defaults/blockchain/defi-protocol-templates.md +430 -0
  49. package/dist/skills/defaults/blockchain/nft-standards.md +364 -0
  50. package/dist/skills/defaults/blockchain/solidity-security.md +514 -0
  51. package/dist/skills/defaults/blockchain/web3-testing.md +360 -0
  52. package/dist/skills/defaults/business/competitive-landscape/SKILL.md +527 -0
  53. package/dist/skills/defaults/business/market-sizing-analysis/SKILL.md +451 -0
  54. package/dist/skills/defaults/business/startup-financial-modeling/SKILL.md +494 -0
  55. package/dist/skills/defaults/business/startup-metrics-framework/SKILL.md +564 -0
  56. package/dist/skills/defaults/business/team-composition-analysis.md +437 -0
  57. package/dist/skills/defaults/compliance/employment-contract-templates/SKILL.md +527 -0
  58. package/dist/skills/defaults/compliance/gdpr-data-handling/SKILL.md +630 -0
  59. package/dist/skills/defaults/data-engineering/airflow-dag-patterns.md +436 -0
  60. package/dist/skills/defaults/data-engineering/airflow.md +519 -0
  61. package/dist/skills/defaults/data-engineering/data-quality.md +583 -0
  62. package/dist/skills/defaults/data-engineering/dbt-transformation-patterns.md +482 -0
  63. package/dist/skills/defaults/data-engineering/dbt.md +556 -0
  64. package/dist/skills/defaults/data-engineering/ml-pipeline-workflow/SKILL.md +247 -0
  65. package/dist/skills/defaults/data-engineering/spark-optimization.md +348 -0
  66. package/dist/skills/defaults/data-engineering/spark.md +411 -0
  67. package/dist/skills/defaults/database/postgresql.md +202 -0
  68. package/dist/skills/defaults/debugging/systematic-debugging.md +249 -0
  69. package/dist/skills/defaults/devops/architecture-decision-records.md +448 -0
  70. package/dist/skills/defaults/devops/changelog-automation.md +580 -0
  71. package/dist/skills/defaults/devops/cicd.md +314 -0
  72. package/dist/skills/defaults/devops/cloud.md +263 -0
  73. package/dist/skills/defaults/devops/code-review-excellence.md +299 -0
  74. package/dist/skills/defaults/devops/cost-optimization.md +295 -0
  75. package/dist/skills/defaults/devops/deployment-pipeline-design.md +356 -0
  76. package/dist/skills/defaults/devops/docker.md +281 -0
  77. package/dist/skills/defaults/devops/git-workflows.md +205 -0
  78. package/dist/skills/defaults/devops/github-actions.md +311 -0
  79. package/dist/skills/defaults/devops/gitlab-ci-patterns.md +266 -0
  80. package/dist/skills/defaults/devops/hybrid-cloud-networking.md +241 -0
  81. package/dist/skills/defaults/devops/istio-traffic-management.md +327 -0
  82. package/dist/skills/defaults/devops/kubernetes.md +339 -0
  83. package/dist/skills/defaults/devops/linkerd-patterns.md +311 -0
  84. package/dist/skills/defaults/devops/multi-cloud-architecture.md +181 -0
  85. package/dist/skills/defaults/devops/observability.md +243 -0
  86. package/dist/skills/defaults/devops/openapi-spec-generation.md +1024 -0
  87. package/dist/skills/defaults/devops/postmortem-writing.md +396 -0
  88. package/dist/skills/defaults/devops/prometheus-configuration.md +265 -0
  89. package/dist/skills/defaults/devops/secrets-management.md +341 -0
  90. package/dist/skills/defaults/devops/service-mesh-observability.md +385 -0
  91. package/dist/skills/defaults/devops/terraform-module-library.md +244 -0
  92. package/dist/skills/defaults/finance/backtesting-frameworks/SKILL.md +663 -0
  93. package/dist/skills/defaults/finance/risk-metrics-calculation/SKILL.md +557 -0
  94. package/dist/skills/defaults/frontend/accessibility-compliance.md +420 -0
  95. package/dist/skills/defaults/frontend/design-system-patterns.md +337 -0
  96. package/dist/skills/defaults/frontend/interaction-design.md +327 -0
  97. package/dist/skills/defaults/frontend/javascript.md +311 -0
  98. package/dist/skills/defaults/frontend/modern-javascript-patterns.md +927 -0
  99. package/dist/skills/defaults/frontend/react-native-design.md +440 -0
  100. package/dist/skills/defaults/frontend/react.md +345 -0
  101. package/dist/skills/defaults/frontend/responsive-design.md +472 -0
  102. package/dist/skills/defaults/frontend/tailwind-design-system.md +337 -0
  103. package/dist/skills/defaults/frontend/typescript-advanced-types.md +724 -0
  104. package/dist/skills/defaults/frontend/typescript.md +334 -0
  105. package/dist/skills/defaults/frontend/visual-design-foundations.md +326 -0
  106. package/dist/skills/defaults/frontend/web-component-design.md +279 -0
  107. package/dist/skills/defaults/game-development/godot-gdscript-patterns.md +188 -0
  108. package/dist/skills/defaults/game-development/unity-ecs-patterns.md +594 -0
  109. package/dist/skills/defaults/kubernetes/gitops-workflow.md +285 -0
  110. package/dist/skills/defaults/kubernetes/gitops.md +280 -0
  111. package/dist/skills/defaults/kubernetes/helm-chart-scaffolding.md +553 -0
  112. package/dist/skills/defaults/kubernetes/helm.md +343 -0
  113. package/dist/skills/defaults/kubernetes/k8s-manifest-generator.md +501 -0
  114. package/dist/skills/defaults/kubernetes/k8s-security-policies.md +342 -0
  115. package/dist/skills/defaults/kubernetes/manifests.md +330 -0
  116. package/dist/skills/defaults/kubernetes/security.md +337 -0
  117. package/dist/skills/defaults/llm-application/embedding-strategies.md +608 -0
  118. package/dist/skills/defaults/llm-application/hybrid-search-implementation.md +570 -0
  119. package/dist/skills/defaults/llm-application/hybrid-search.md +570 -0
  120. package/dist/skills/defaults/llm-application/langchain-architecture.md +666 -0
  121. package/dist/skills/defaults/llm-application/langchain.md +259 -0
  122. package/dist/skills/defaults/llm-application/llm-evaluation.md +695 -0
  123. package/dist/skills/defaults/llm-application/prompt-engineering-patterns.md +449 -0
  124. package/dist/skills/defaults/llm-application/prompt-engineering.md +219 -0
  125. package/dist/skills/defaults/llm-application/rag-implementation.md +434 -0
  126. package/dist/skills/defaults/llm-application/similarity-search-patterns.md +560 -0
  127. package/dist/skills/defaults/llm-application/similarity-search.md +560 -0
  128. package/dist/skills/defaults/llm-application/vector-index-tuning.md +523 -0
  129. package/dist/skills/defaults/mobile/mobile-android-design.md +440 -0
  130. package/dist/skills/defaults/mobile/mobile-ios-design.md +266 -0
  131. package/dist/skills/defaults/monitoring/distributed-tracing.md +436 -0
  132. package/dist/skills/defaults/monitoring/grafana-dashboards.md +370 -0
  133. package/dist/skills/defaults/monitoring/prometheus-configuration.md +379 -0
  134. package/dist/skills/defaults/monitoring/slo-implementation.md +323 -0
  135. package/dist/skills/defaults/refactoring/code-refactoring.md +349 -0
  136. package/dist/skills/defaults/security/anti-reversing-techniques/SKILL.md +559 -0
  137. package/dist/skills/defaults/security/auditor.md +168 -0
  138. package/dist/skills/defaults/security/binary-analysis-patterns/SKILL.md +438 -0
  139. package/dist/skills/defaults/security/memory-forensics/SKILL.md +483 -0
  140. package/dist/skills/defaults/security/mtls-configuration.md +349 -0
  141. package/dist/skills/defaults/security/protocol-reverse-engineering/SKILL.md +520 -0
  142. package/dist/skills/defaults/security/sast-configuration.md +182 -0
  143. package/dist/skills/defaults/security/security.md +313 -0
  144. package/dist/skills/defaults/security/stride-analysis.md +273 -0
  145. package/dist/skills/defaults/security/threat-mitigation-mapping.md +290 -0
  146. package/dist/skills/defaults/systems/bash-defensive-patterns/SKILL.md +539 -0
  147. package/dist/skills/defaults/systems/bats-testing-patterns/SKILL.md +631 -0
  148. package/dist/skills/defaults/systems/go-concurrency-patterns.md +657 -0
  149. package/dist/skills/defaults/systems/memory-safety-patterns.md +605 -0
  150. package/dist/skills/defaults/systems/rust-async-patterns.md +519 -0
  151. package/dist/skills/defaults/systems/shellcheck-configuration/SKILL.md +456 -0
  152. package/dist/skills/defaults/team-collaboration/multi-reviewer-patterns.md +126 -0
  153. package/dist/skills/defaults/team-collaboration/parallel-feature-development.md +151 -0
  154. package/dist/skills/defaults/testing/javascript-testing-patterns.md +1021 -0
  155. package/dist/skills/defaults/testing/python-testing-patterns.md +351 -0
  156. package/dist/skills/defaults/testing/testing.md +332 -0
  157. package/dist/skills/defaults/workflows/context-driven-development.md +384 -0
  158. package/dist/skills/defaults/workflows/track-management.md +592 -0
  159. package/dist/skills/defaults/workflows/workflow-patterns.md +622 -0
  160. package/dist/skills/index.d.ts +11 -0
  161. package/dist/skills/index.d.ts.map +1 -0
  162. package/dist/skills/index.js +129 -0
  163. package/dist/skills/index.js.map +1 -0
  164. package/dist/utils/character.js +4 -4
  165. package/dist/utils/character.js.map +1 -1
  166. package/dist/utils/inputbar.d.ts.map +1 -1
  167. package/dist/utils/inputbar.js +7 -0
  168. package/dist/utils/inputbar.js.map +1 -1
  169. package/package.json +1 -1
@@ -0,0 +1,605 @@
1
+ ---
2
+ name: memory-safety-patterns
3
+ description: Implement memory-safe programming with RAII, ownership, smart pointers, and resource management across Rust, C++, and C. Use when writing safe systems code, managing resources, or preventing memory bugs.
4
+ ---
5
+
6
+ # Memory Safety Patterns
7
+
8
+ Cross-language patterns for memory-safe programming including RAII, ownership, smart pointers, and resource management.
9
+
10
+ ## When to Use This Skill
11
+
12
+ - Writing memory-safe systems code
13
+ - Managing resources (files, sockets, memory)
14
+ - Preventing use-after-free and leaks
15
+ - Implementing RAII patterns
16
+ - Choosing between languages for safety
17
+ - Debugging memory issues
18
+
19
+ ## Core Concepts
20
+
21
+ ### 1. Memory Bug Categories
22
+
23
+ | Bug Type | Description | Prevention |
24
+ | -------------------- | -------------------------------- | ----------------- |
25
+ | **Use-after-free** | Access freed memory | Ownership, RAII |
26
+ | **Double-free** | Free same memory twice | Smart pointers |
27
+ | **Memory leak** | Never free memory | RAII, GC |
28
+ | **Buffer overflow** | Write past buffer end | Bounds checking |
29
+ | **Dangling pointer** | Pointer to freed memory | Lifetime tracking |
30
+ | **Data race** | Concurrent unsynchronized access | Ownership, Sync |
31
+
32
+ ### 2. Safety Spectrum
33
+
34
+ ```
35
+ Manual (C) → Smart Pointers (C++) → Ownership (Rust) → GC (Go, Java)
36
+ Less safe More safe
37
+ More control Less control
38
+ ```
39
+
40
+ ## Patterns by Language
41
+
42
+ ### Pattern 1: RAII in C++
43
+
44
+ ```cpp
45
+ // RAII: Resource Acquisition Is Initialization
46
+ // Resource lifetime tied to object lifetime
47
+
48
+ #include <memory>
49
+ #include <fstream>
50
+ #include <mutex>
51
+
52
+ // File handle with RAII
53
+ class FileHandle {
54
+ public:
55
+ explicit FileHandle(const std::string& path)
56
+ : file_(path) {
57
+ if (!file_.is_open()) {
58
+ throw std::runtime_error("Failed to open file");
59
+ }
60
+ }
61
+
62
+ // Destructor automatically closes file
63
+ ~FileHandle() = default; // fstream closes in its destructor
64
+
65
+ // Delete copy (prevent double-close)
66
+ FileHandle(const FileHandle&) = delete;
67
+ FileHandle& operator=(const FileHandle&) = delete;
68
+
69
+ // Allow move
70
+ FileHandle(FileHandle&&) = default;
71
+ FileHandle& operator=(FileHandle&&) = default;
72
+
73
+ void write(const std::string& data) {
74
+ file_ << data;
75
+ }
76
+
77
+ private:
78
+ std::fstream file_;
79
+ };
80
+
81
+ // Lock guard (RAII for mutexes)
82
+ class Database {
83
+ public:
84
+ void update(const std::string& key, const std::string& value) {
85
+ std::lock_guard<std::mutex> lock(mutex_); // Released on scope exit
86
+ data_[key] = value;
87
+ }
88
+
89
+ std::string get(const std::string& key) {
90
+ std::shared_lock<std::shared_mutex> lock(shared_mutex_);
91
+ return data_[key];
92
+ }
93
+
94
+ private:
95
+ std::mutex mutex_;
96
+ std::shared_mutex shared_mutex_;
97
+ std::map<std::string, std::string> data_;
98
+ };
99
+
100
+ // Transaction with rollback (RAII)
101
+ template<typename T>
102
+ class Transaction {
103
+ public:
104
+ explicit Transaction(T& target)
105
+ : target_(target), backup_(target), committed_(false) {}
106
+
107
+ ~Transaction() {
108
+ if (!committed_) {
109
+ target_ = backup_; // Rollback
110
+ }
111
+ }
112
+
113
+ void commit() { committed_ = true; }
114
+
115
+ T& get() { return target_; }
116
+
117
+ private:
118
+ T& target_;
119
+ T backup_;
120
+ bool committed_;
121
+ };
122
+ ```
123
+
124
+ ### Pattern 2: Smart Pointers in C++
125
+
126
+ ```cpp
127
+ #include <memory>
128
+
129
+ // unique_ptr: Single ownership
130
+ class Engine {
131
+ public:
132
+ void start() { /* ... */ }
133
+ };
134
+
135
+ class Car {
136
+ public:
137
+ Car() : engine_(std::make_unique<Engine>()) {}
138
+
139
+ void start() {
140
+ engine_->start();
141
+ }
142
+
143
+ // Transfer ownership
144
+ std::unique_ptr<Engine> extractEngine() {
145
+ return std::move(engine_);
146
+ }
147
+
148
+ private:
149
+ std::unique_ptr<Engine> engine_;
150
+ };
151
+
152
+ // shared_ptr: Shared ownership
153
+ class Node {
154
+ public:
155
+ std::string data;
156
+ std::shared_ptr<Node> next;
157
+
158
+ // Use weak_ptr to break cycles
159
+ std::weak_ptr<Node> parent;
160
+ };
161
+
162
+ void sharedPtrExample() {
163
+ auto node1 = std::make_shared<Node>();
164
+ auto node2 = std::make_shared<Node>();
165
+
166
+ node1->next = node2;
167
+ node2->parent = node1; // Weak reference prevents cycle
168
+
169
+ // Access weak_ptr
170
+ if (auto parent = node2->parent.lock()) {
171
+ // parent is valid shared_ptr
172
+ }
173
+ }
174
+
175
+ // Custom deleter for resources
176
+ class Socket {
177
+ public:
178
+ static void close(int* fd) {
179
+ if (fd && *fd >= 0) {
180
+ ::close(*fd);
181
+ delete fd;
182
+ }
183
+ }
184
+ };
185
+
186
+ auto createSocket() {
187
+ int fd = socket(AF_INET, SOCK_STREAM, 0);
188
+ return std::unique_ptr<int, decltype(&Socket::close)>(
189
+ new int(fd),
190
+ &Socket::close
191
+ );
192
+ }
193
+
194
+ // make_unique/make_shared best practices
195
+ void bestPractices() {
196
+ // Good: Exception safe, single allocation
197
+ auto ptr = std::make_shared<Widget>();
198
+
199
+ // Bad: Two allocations, not exception safe
200
+ std::shared_ptr<Widget> ptr2(new Widget());
201
+
202
+ // For arrays
203
+ auto arr = std::make_unique<int[]>(10);
204
+ }
205
+ ```
206
+
207
+ ### Pattern 3: Ownership in Rust
208
+
209
+ ```rust
210
+ // Move semantics (default)
211
+ fn move_example() {
212
+ let s1 = String::from("hello");
213
+ let s2 = s1; // s1 is MOVED, no longer valid
214
+
215
+ // println!("{}", s1); // Compile error!
216
+ println!("{}", s2);
217
+ }
218
+
219
+ // Borrowing (references)
220
+ fn borrow_example() {
221
+ let s = String::from("hello");
222
+
223
+ // Immutable borrow (multiple allowed)
224
+ let len = calculate_length(&s);
225
+ println!("{} has length {}", s, len);
226
+
227
+ // Mutable borrow (only one allowed)
228
+ let mut s = String::from("hello");
229
+ change(&mut s);
230
+ }
231
+
232
+ fn calculate_length(s: &String) -> usize {
233
+ s.len()
234
+ } // s goes out of scope, but doesn't drop since borrowed
235
+
236
+ fn change(s: &mut String) {
237
+ s.push_str(", world");
238
+ }
239
+
240
+ // Lifetimes: Compiler tracks reference validity
241
+ fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
242
+ if x.len() > y.len() { x } else { y }
243
+ }
244
+
245
+ // Struct with references needs lifetime annotation
246
+ struct ImportantExcerpt<'a> {
247
+ part: &'a str,
248
+ }
249
+
250
+ impl<'a> ImportantExcerpt<'a> {
251
+ fn level(&self) -> i32 {
252
+ 3
253
+ }
254
+
255
+ // Lifetime elision: compiler infers 'a for &self
256
+ fn announce_and_return_part(&self, announcement: &str) -> &str {
257
+ println!("Attention: {}", announcement);
258
+ self.part
259
+ }
260
+ }
261
+
262
+ // Interior mutability
263
+ use std::cell::{Cell, RefCell};
264
+
265
+ struct Stats {
266
+ count: Cell<i32>, // Copy types
267
+ data: RefCell<Vec<String>>, // Non-Copy types
268
+ }
269
+
270
+ impl Stats {
271
+ fn increment(&self) {
272
+ self.count.set(self.count.get() + 1);
273
+ }
274
+
275
+ fn add_data(&self, item: String) {
276
+ self.data.borrow_mut().push(item);
277
+ }
278
+ }
279
+
280
+ // Rc for shared ownership (single-threaded)
281
+ fn rc_example() {
282
+ let data = Rc::new(vec![1, 2, 3]);
283
+ let data2 = Rc::clone(&data); // Increment reference count
284
+
285
+ println!("Count: {}", Rc::strong_count(&data)); // 2
286
+ }
287
+
288
+ // Arc for shared ownership (thread-safe)
289
+ use std::sync::Arc;
290
+ use std::thread;
291
+
292
+ fn arc_example() {
293
+ let data = Arc::new(vec![1, 2, 3]);
294
+
295
+ let handles: Vec<_> = (0..3)
296
+ .map(|_| {
297
+ let data = Arc::clone(&data);
298
+ thread::spawn(move || {
299
+ println!("{:?}", data);
300
+ })
301
+ })
302
+ .collect();
303
+
304
+ for handle in handles {
305
+ handle.join().unwrap();
306
+ }
307
+ }
308
+ ```
309
+
310
+ ### Pattern 4: Safe Resource Management in C
311
+
312
+ ```c
313
+ // C doesn't have RAII, but we can use patterns
314
+
315
+ #include <stdlib.h>
316
+ #include <stdio.h>
317
+
318
+ // Pattern: goto cleanup
319
+ int process_file(const char* path) {
320
+ FILE* file = NULL;
321
+ char* buffer = NULL;
322
+ int result = -1;
323
+
324
+ file = fopen(path, "r");
325
+ if (!file) {
326
+ goto cleanup;
327
+ }
328
+
329
+ buffer = malloc(1024);
330
+ if (!buffer) {
331
+ goto cleanup;
332
+ }
333
+
334
+ // Process file...
335
+ result = 0;
336
+
337
+ cleanup:
338
+ if (buffer) free(buffer);
339
+ if (file) fclose(file);
340
+ return result;
341
+ }
342
+
343
+ // Pattern: Opaque pointer with create/destroy
344
+ typedef struct Context Context;
345
+
346
+ Context* context_create(void);
347
+ void context_destroy(Context* ctx);
348
+ int context_process(Context* ctx, const char* data);
349
+
350
+ // Implementation
351
+ struct Context {
352
+ int* data;
353
+ size_t size;
354
+ FILE* log;
355
+ };
356
+
357
+ Context* context_create(void) {
358
+ Context* ctx = calloc(1, sizeof(Context));
359
+ if (!ctx) return NULL;
360
+
361
+ ctx->data = malloc(100 * sizeof(int));
362
+ if (!ctx->data) {
363
+ free(ctx);
364
+ return NULL;
365
+ }
366
+
367
+ ctx->log = fopen("log.txt", "w");
368
+ if (!ctx->log) {
369
+ free(ctx->data);
370
+ free(ctx);
371
+ return NULL;
372
+ }
373
+
374
+ return ctx;
375
+ }
376
+
377
+ void context_destroy(Context* ctx) {
378
+ if (ctx) {
379
+ if (ctx->log) fclose(ctx->log);
380
+ if (ctx->data) free(ctx->data);
381
+ free(ctx);
382
+ }
383
+ }
384
+
385
+ // Pattern: Cleanup attribute (GCC/Clang extension)
386
+ #define AUTO_FREE __attribute__((cleanup(auto_free_func)))
387
+
388
+ void auto_free_func(void** ptr) {
389
+ free(*ptr);
390
+ }
391
+
392
+ void auto_free_example(void) {
393
+ AUTO_FREE char* buffer = malloc(1024);
394
+ // buffer automatically freed at end of scope
395
+ }
396
+ ```
397
+
398
+ ### Pattern 5: Bounds Checking
399
+
400
+ ```cpp
401
+ // C++: Use containers instead of raw arrays
402
+ #include <vector>
403
+ #include <array>
404
+ #include <span>
405
+
406
+ void safe_array_access() {
407
+ std::vector<int> vec = {1, 2, 3, 4, 5};
408
+
409
+ // Safe: throws std::out_of_range
410
+ try {
411
+ int val = vec.at(10);
412
+ } catch (const std::out_of_range& e) {
413
+ // Handle error
414
+ }
415
+
416
+ // Unsafe but faster (no bounds check)
417
+ int val = vec[2];
418
+
419
+ // Modern C++20: std::span for array views
420
+ std::span<int> view(vec);
421
+ // Iterators are bounds-safe
422
+ for (int& x : view) {
423
+ x *= 2;
424
+ }
425
+ }
426
+
427
+ // Fixed-size arrays
428
+ void fixed_array() {
429
+ std::array<int, 5> arr = {1, 2, 3, 4, 5};
430
+
431
+ // Compile-time size known
432
+ static_assert(arr.size() == 5);
433
+
434
+ // Safe access
435
+ int val = arr.at(2);
436
+ }
437
+ ```
438
+
439
+ ```rust
440
+ // Rust: Bounds checking by default
441
+
442
+ fn rust_bounds_checking() {
443
+ let vec = vec![1, 2, 3, 4, 5];
444
+
445
+ // Runtime bounds check (panics if out of bounds)
446
+ let val = vec[2];
447
+
448
+ // Explicit option (no panic)
449
+ match vec.get(10) {
450
+ Some(val) => println!("Got {}", val),
451
+ None => println!("Index out of bounds"),
452
+ }
453
+
454
+ // Iterators (no bounds checking needed)
455
+ for val in &vec {
456
+ println!("{}", val);
457
+ }
458
+
459
+ // Slices are bounds-checked
460
+ let slice = &vec[1..3]; // [2, 3]
461
+ }
462
+ ```
463
+
464
+ ### Pattern 6: Preventing Data Races
465
+
466
+ ```cpp
467
+ // C++: Thread-safe shared state
468
+ #include <mutex>
469
+ #include <shared_mutex>
470
+ #include <atomic>
471
+
472
+ class ThreadSafeCounter {
473
+ public:
474
+ void increment() {
475
+ // Atomic operations
476
+ count_.fetch_add(1, std::memory_order_relaxed);
477
+ }
478
+
479
+ int get() const {
480
+ return count_.load(std::memory_order_relaxed);
481
+ }
482
+
483
+ private:
484
+ std::atomic<int> count_{0};
485
+ };
486
+
487
+ class ThreadSafeMap {
488
+ public:
489
+ void write(const std::string& key, int value) {
490
+ std::unique_lock lock(mutex_);
491
+ data_[key] = value;
492
+ }
493
+
494
+ std::optional<int> read(const std::string& key) {
495
+ std::shared_lock lock(mutex_);
496
+ auto it = data_.find(key);
497
+ if (it != data_.end()) {
498
+ return it->second;
499
+ }
500
+ return std::nullopt;
501
+ }
502
+
503
+ private:
504
+ mutable std::shared_mutex mutex_;
505
+ std::map<std::string, int> data_;
506
+ };
507
+ ```
508
+
509
+ ```rust
510
+ // Rust: Data race prevention at compile time
511
+
512
+ use std::sync::{Arc, Mutex, RwLock};
513
+ use std::sync::atomic::{AtomicI32, Ordering};
514
+ use std::thread;
515
+
516
+ // Atomic for simple types
517
+ fn atomic_example() {
518
+ let counter = Arc::new(AtomicI32::new(0));
519
+
520
+ let handles: Vec<_> = (0..10)
521
+ .map(|_| {
522
+ let counter = Arc::clone(&counter);
523
+ thread::spawn(move || {
524
+ counter.fetch_add(1, Ordering::SeqCst);
525
+ })
526
+ })
527
+ .collect();
528
+
529
+ for handle in handles {
530
+ handle.join().unwrap();
531
+ }
532
+
533
+ println!("Counter: {}", counter.load(Ordering::SeqCst));
534
+ }
535
+
536
+ // Mutex for complex types
537
+ fn mutex_example() {
538
+ let data = Arc::new(Mutex::new(vec![]));
539
+
540
+ let handles: Vec<_> = (0..10)
541
+ .map(|i| {
542
+ let data = Arc::clone(&data);
543
+ thread::spawn(move || {
544
+ let mut vec = data.lock().unwrap();
545
+ vec.push(i);
546
+ })
547
+ })
548
+ .collect();
549
+
550
+ for handle in handles {
551
+ handle.join().unwrap();
552
+ }
553
+ }
554
+
555
+ // RwLock for read-heavy workloads
556
+ fn rwlock_example() {
557
+ let data = Arc::new(RwLock::new(HashMap::new()));
558
+
559
+ // Multiple readers OK
560
+ let read_guard = data.read().unwrap();
561
+
562
+ // Writer blocks readers
563
+ let write_guard = data.write().unwrap();
564
+ }
565
+ ```
566
+
567
+ ## Best Practices
568
+
569
+ ### Do's
570
+
571
+ - **Prefer RAII** - Tie resource lifetime to scope
572
+ - **Use smart pointers** - Avoid raw pointers in C++
573
+ - **Understand ownership** - Know who owns what
574
+ - **Check bounds** - Use safe access methods
575
+ - **Use tools** - AddressSanitizer, Valgrind, Miri
576
+
577
+ ### Don'ts
578
+
579
+ - **Don't use raw pointers** - Unless interfacing with C
580
+ - **Don't return local references** - Dangling pointer
581
+ - **Don't ignore compiler warnings** - They catch bugs
582
+ - **Don't use `unsafe` carelessly** - In Rust, minimize it
583
+ - **Don't assume thread safety** - Be explicit
584
+
585
+ ## Debugging Tools
586
+
587
+ ```bash
588
+ # AddressSanitizer (Clang/GCC)
589
+ clang++ -fsanitize=address -g source.cpp
590
+
591
+ # Valgrind
592
+ valgrind --leak-check=full ./program
593
+
594
+ # Rust Miri (undefined behavior detector)
595
+ cargo +nightly miri run
596
+
597
+ # ThreadSanitizer
598
+ clang++ -fsanitize=thread -g source.cpp
599
+ ```
600
+
601
+ ## Resources
602
+
603
+ - [C++ Core Guidelines](https://isocpp.github.io/CppCoreGuidelines/)
604
+ - [Rust Ownership](https://doc.rust-lang.org/book/ch04-00-understanding-ownership.html)
605
+ - [AddressSanitizer](https://clang.llvm.org/docs/AddressSanitizer.html)