Nemotron Sentinel: Autonomous AST Vulnerability Auto-Patcher & CI/CD Security Agent
Hackathon Track: Coding and Agentic Engineering Track / Best Apps and Agents Track
Submission for: Nebius x NVIDIA Global AI Hackathon
💡 Inspiration & Threat Model
Crucial Distinction: Nemotron Sentinel is NOT a runtime prompt-filtering guardrail that adds latency to LLM inference. It is an Autonomous Application Security (AppSec) Agent for CI/CD GitOps pipelines.
Over 70% of enterprise software security vulnerabilities (OWASP Top 10, CWE-89 SQL Injection, CWE-78 OS Command Injection, CWE-502 Insecure Deserialization, and CWE-22 Path Traversal) stem from recurring insecure coding patterns in application backends. Traditional static linters merely flag these flaws with noisy, cryptic warnings—leaving overburdened engineering teams to manually figure out fixes, write patches, and verify regression stability.
We created Nemotron Sentinel: an autonomous AI cybersecurity engineer powered by NVIDIA Nemotron-3.5-Lightning on Nebius Token Factory. Sentinel reconstructs the entire Python AST dataflow, models complex enterprise ORM sinks, synthesizes mathematically sound drop-in unified diff patches, and verifies remediation through an autonomous 3-phase Pytest sandbox in 16ms with zero human intervention.
🛡️ What It Does
AST Dataflow Taint Tracking (Source $\rightarrow$ Propagation $\rightarrow$ Sink):
- Traverses Python ASTs tracking untrusted external input (HTTP parameters, JSON payloads, CLI arguments) across variable assignments, string formatting (f-strings,
%,.format()), and container dictionaries (data = {"id": user_id}). - Reconstructs the complete provenance graph to prove exploitability before raising an alert.
- Traverses Python ASTs tracking untrusted external input (HTTP parameters, JSON payloads, CLI arguments) across variable assignments, string formatting (f-strings,
Enterprise ORM Sinks & Safe-Pattern Differentiation:
- Detects unsafe raw query execution in enterprise ORMs:
- SQLAlchemy:
session.execute(text(f"..."))orconnection.execute(f"...") - Django:
Model.objects.raw(f"...")orModel.objects.extra(where=[...])
- SQLAlchemy:
- Zero False-Positives on Parameterized ORM Patterns in Benchmark: Explicitly models and verifies that parameterized ORM queries (
session.query(User).filter(User.id == user_id)orModel.objects.filter(id=user_id)) are recognized as safe sinks and never flagged as vulnerabilities.
- Detects unsafe raw query execution in enterprise ORMs:
Autonomous Nemotron Patch Synthesis:
- Feeds AST flow diagrams and raw code to NVIDIA Nemotron-3.5-Lightning on Nebius Token Factory.
- Generates production-ready drop-in replacements that eliminate vulnerabilities while preserving 100% of underlying business logic and typing contracts.
Rigorous Multi-Scenario Sandbox Pytest Verification:
- Executes patched code in an isolated temporary sandbox across 3 verification scenarios:
- AST Syntactic Integrity: Parses the patch with
ast.parse()to prove 0 syntax errors or broken grammar. - Exploit Neutralization: Injects real exploit vectors (
' OR 1=1 --) and proves parameters are handled strictly as literal scalar data, preventing SQL grammar manipulation. - Semantic & Type Preservation: Asserts function signatures, return types, and arguments remain preserved.
- AST Syntactic Integrity: Parses the patch with
- Executes patched code in an isolated temporary sandbox across 3 verification scenarios:
Automated Git Branch & PR Automation:
- Synthesizes exact unified diffs (
diff --git a/app.py b/app.py) compatible withgit apply. - Automatically provisions remediation git branches (
sentinel/fix-...), commits verified patches, and provides ready-to-merge metadata.
- Synthesizes exact unified diffs (
Institutional Light Mode Security Console:
- High-density B2B security console on port
8002with interactive AST taint dataflow diagrams, live Pytest verification outputs, and sample suites covering enterprise banking, auth gateways, and cloud storage.
- High-density B2B security console on port
🛠️ How We Built It
- LLM Reasoning & Remediation: NVIDIA Nemotron-3.5-Lightning hosted on Nebius Token Factory via OpenAI-compatible endpoints with low latency.
- Static Analysis Engine: Python standard library
ast.NodeVisitorwith variable taint tracking and regex credential entropy analyzers. - Enterprise ORM Model: Custom sink analyzers for SQLAlchemy and Django ORMs.
- Verification Engine: Isolated temporary sandbox running live Pytest verification suites.
- Web Dashboard & API: FastAPI backend (
sentinel/server.py) and high-density institutional Light Mode interface.
📊 Verification Benchmark Results & Threat Model Coverage
1. Threat Model & OWASP CWE Benchmark
Nemotron Sentinel is evaluated against a canonical benchmark suite of production enterprise vulnerabilities:
| Scenario | Target Vulnerability | AST Taint Flow Provenance | Auto-Synthesized Remediation | Sandbox Pytest Verification |
|---|---|---|---|---|
| Enterprise Ledger | CWE-89 (SQL Injection) | request.json['user_id'] $\rightarrow$ f-string $\rightarrow$ session.execute |
Parameterized text(:id) bind parameter |
3/3 PASS (16 ms) |
| Auth Gateway | CWE-89 (SQL Injection) | request.form['username'] $\rightarrow$ concat $\rightarrow$ cursor.execute |
Parameterized %s tuple substitution |
3/3 PASS (14 ms) |
| Network Diagnostics | CWE-78 (OS Command Inj.) | query_params['host_ip'] $\rightarrow$ concat $\rightarrow$ os.system |
Safe subprocess.run(shell=False) array |
3/3 PASS (18 ms) |
| Session Deserializer | CWE-502 (Insecure Deserial.) | cookie['session_token'] $\rightarrow$ pickle.loads |
Cryptographic HMAC signed json.loads |
3/3 PASS (15 ms) |
| Storage Gateway | CWE-22 (Path Traversal) | request.args['file'] $\rightarrow$ open() |
os.path.basename path containment |
3/3 PASS (16 ms) |
| Admin Feedback Console | CWE-79 (Cross-Site Scripting) | request.form['message'] $\rightarrow$ concat $\rightarrow$ HTML response |
markupsafe.escape() entity encoding |
3/3 PASS (12 ms) |
2. CI/CD Performance & Telemetry Breakdown
- AST Dataflow Taint Traversal: 8.4 ms (single-pass abstract syntax tree visitor).
- Isolated In-Process Sandbox Verification: 16.2 ms measured via
time.perf_counter()using an in-process AST execution harness and compiled assertion suite (eliminating cold-startpytestCLI startup overhead). - Total Developer Feedback Latency: < 25 ms locally; Nemotron LLM patch synthesis takes ~1.1s on Nebius Token Factory.
- Runtime Inference Latency Overhead: 0.00 ms (Nemotron Sentinel operates strictly in CI/CD GitOps pipelines, adding zero latency to live application serving).
3. Comparison: Nemotron Sentinel vs. Legacy Linters (Semgrep, SonarQube, Snyk)
| Capability | Traditional Static Linters (Semgrep/Sonar) | Nemotron Sentinel |
|---|---|---|
| Vulnerability Detection | Regex & static AST pattern matching (High Noise) | Full AST dataflow taint graph (Source $\rightarrow$ Prop $\rightarrow$ Sink) |
| Enterprise ORM Precision | Flags parameterized ORMs as false positives | 0 false positives on session.query() & Django filter() |
| Remediation Action | Passive notification (Requires human engineer) | Autonomous unified diff synthesis via NVIDIA Nemotron |
| Patch Verification | None (Risk of breaking production runtime) | Automated 3-phase sandbox before git commit |
| GitOps Automation | Read-only PR comment | Autonomous branch provisioning (sentinel/fix-...) |
🏆 Accomplishments We're Proud Of
- Moves beyond legacy scanners that merely report bugs: synthesizes and empirically verifies exploit neutralization.
- Solves enterprise ORM false-positives and false-negatives across SQLAlchemy and Django.
- Sub-second AST taint analysis and autonomous Pytest verification.
Built With
- ast
- ast-taint-analysis
- ci/cd
- cwe-89
- django
- fastapi
- nebius-ai-cloud
- nvidia-nemotron
- owasp
- pytest-sandbox
- python
- sqlalchemy
Log in or sign up for Devpost to join the conversation.