2 个仓库
Mechanisms for inspecting executable notebook content without running the code to prevent security risks.
Distinct from Safe Code Verifiers: None of the candidates cover the security-focused preview of executable notebook files.
Explore 2 awesome GitHub repositories matching security & cryptography · Safe Code Previews. Refine with filters or upvote what's useful.
Pluto.jl 是一个用于 Julia 的响应式计算环境,其功能类似于可编程文档格式。它作为一个交互式数据科学 IDE 和多语言计算笔记本,将 Julia 代码和环境依赖项存储为可版本化的源文件。 该系统以其响应式执行模型而著称,该模型使用有向无环图来跟踪变量依赖关系,并在值发生变化时自动重新评估受影响的下游单元。它通过将隔离的包环境直接集成到笔记本文件中,并将内容持久化为纯可执行源文件,从而确保了可重复性。 该平台涵盖了广泛的功能,包括交互式数据可视化、创建引导式教育作业以及生成静态文档网站。它支持多种输出模式,如幻灯片演示和 Web 应用程序,并提供将笔记本导出为 HTML、PDF 和以可重复性为重点的脚本的工具。 该环境可以通过 localhost 上的 Web 界面启动,也可以通过远程服务器和云计算托管进行访问。
Inspects notebook content and structure without executing code to ensure security and correctness.
lensm is a binary analysis tool and Go disassembler interface designed for navigating disassembled machine code, tracking function calls, and inspecting executable metadata. It specifically functions as a Go assembly viewer that visualizes compiled binary instructions alongside their original source code. The project implements the Model Context Protocol to expose internal functions and source code as tools for external AI systems. This protocol-based analysis server enables the streaming of binary data and the management of server lifecycles to allow external tools to analyze logic. The sys
Displays a temporary view of a function's code that can be promoted to a persistent tab.