3 个仓库
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 是一个用 Java 编写的 JDBC 兼容关系型数据库管理系统。它作为一个可嵌入的 SQL 数据库,可以直接在应用程序进程内运行以消除网络延迟,或者作为内存数据库用于高性能的易失性存储。它还包含一个基于 Web 的控制台,用于执行 SQL 命令和管理模式。 该系统的特点是其灵活的部署模式,包括用于远程 TCP/IP 访问的独立服务器模式,以及用于同时进行本地和远程连接的混合模式。它具有方言模拟层和兼容模式,允许其模仿其他数据库系统的行为和语法。 该引擎提供了一套广泛的功能,涵盖具有多版本并发控制(MVCC)的 ACID 事务、地理空间和 JSON 数据支持,以及高级分析窗口函数。它包括通过压缩备份、SQL 脚本恢复和堆外内存管理来处理大数据集的数据保护工具。 该数据库使用标准的 Java 数据库连接驱动程序和连接 URL 与应用程序集成。
Prevents unauthorized system calls by restricting the set of loadable classes within the Java runtime.
Dhall 是一种类型安全的配置语言,旨在创建保证能够终止的可编程配置文件。它是一种非图灵完备的语言,使用严格的类型系统来确保正确性并防止评估过程中的无限循环。 该项目作为一个确定性的配置引擎和编组工具,将可编程表达式转换为 JSON、YAML 和 Bash 等静态格式。它的特色在于专注于安全性和完整性,使用语义哈希来锁定远程导入,并强制执行源策略以防止数据泄露。 其功能涵盖了广泛的配置管理领域,包括使用多态函数、联合类型和记录补全来减少冗余。它提供了用于模式验证、远程表达式解析的工具,以及用于编辑器集成的语言服务器协议 (LSP) 实现。 该语言提供了一个命令行界面和一个用于评估表达式及验证等价性的 REPL。
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.