3 repository-uri
Mechanisms to detect and remove programming code from text inputs to prevent unauthorized script execution.
Distinguishing note: None of the candidates cover the security-specific task of blocking code within LLM prompts.
Explore 3 awesome GitHub repositories matching security & cryptography · Code Execution Prevention. Refine with filters or upvote what's useful.
H2 este un sistem de gestionare a bazelor de date relaționale compatibil JDBC, scris în Java. Funcționează ca o bază de date SQL embeddable care poate rula direct în procesul unei aplicații pentru a elimina latența rețelei, sau ca o bază de date în memorie pentru stocare volatilă de înaltă performanță. Include, de asemenea, o consolă bazată pe web pentru executarea comenzilor SQL și administrarea schemelor. Sistemul se caracterizează prin moduri de implementare flexibile, inclusiv un mod server standalone pentru acces TCP/IP la distanță și un mod mixt pentru conectivitate locală și la distanță simultană. Dispune de un strat de emulare a dialectelor și moduri de compatibilitate care îi permit să imite comportamentul și sintaxa altor sisteme de baze de date. Motorul oferă un set larg de capabilități, acoperind tranzacții ACID cu controlul concurenței multi-versiune (MVCC), suport pentru date geospațiale și JSON, precum și funcții analitice avansate de tip window. Include instrumente pentru conservarea datelor prin backup-uri comprimate, restaurarea scripturilor SQL și gestionarea memoriei off-heap pentru a manipula seturi mari de date. Baza de date se integrează cu aplicațiile folosind drivere standard Java Database Connectivity și URL-uri de conexiune.
Prevents unauthorized system calls by restricting the set of loadable classes within the Java runtime.
Dhall este un limbaj de configurare type-safe conceput pentru a crea fișiere de configurare programabile care sunt garantate să se termine. Este un limbaj non-Turing-complete care utilizează un sistem de tipuri strict pentru a asigura corectitudinea și a preveni buclele infinite în timpul evaluării. Proiectul funcționează ca un motor de configurare determinist și instrument de marshalling, convertind expresiile programabile în formate statice precum JSON, YAML și Bash. Se distinge printr-un accent pe securitate și integritate, utilizând hashing semantic pentru a fixa importurile la distanță și impunând politici de origine pentru a preveni exfiltrarea datelor. Capabilitățile sale acoperă o suprafață largă de gestionare a configurației, inclusiv utilizarea funcțiilor polimorfice, a tipurilor union și a completării înregistrărilor pentru a reduce redundanța. Oferă instrumente pentru validarea schemelor, rezolvarea expresiilor la distanță și o implementare Language Server Protocol pentru integrarea în editor. Limbajul oferă o interfață de linie de comandă și un REPL pentru evaluarea expresiilor și verificarea egalității.
Prevents the execution of arbitrary scripts by treating configuration as non-Turing-complete data.
LLM Guard is a security firewall and guardrail framework designed to scan and sanitize inputs and outputs for large language models. It functions as a proxy gateway and security layer to block prompt injections, toxicity, and sensitive data leakage while ensuring that model interactions remain compliant with organizational policies. The system distinguishes itself through a modular scanner pipeline that utilizes local model orchestration to eliminate external network dependencies. It supports real-time security filtering via streaming chunk analysis and implements a fail-fast execution model
Removes programming code from user inputs to prevent the execution of potentially harmful scripts.