TIANHE
313 lines
11 KiB
Python
313 lines
11 KiB
Python
"""
|
||
安全的代码执行工具
|
||
提供超时、资源限制和沙箱环境
|
||
"""
|
||
import signal
|
||
import sys
|
||
import os
|
||
import threading
|
||
import traceback
|
||
from typing import Dict, Any, Optional, Tuple
|
||
from contextlib import contextmanager
|
||
|
||
from app.utils.logger import get_logger
|
||
|
||
logger = get_logger(__name__)
|
||
|
||
|
||
class TimeoutError(Exception):
|
||
"""代码执行超时异常"""
|
||
pass
|
||
|
||
|
||
@contextmanager
|
||
def timeout_context(seconds: int):
|
||
"""
|
||
代码执行超时上下文管理器
|
||
|
||
注意：
|
||
- 仅在Unix/Linux系统上有效
|
||
- 仅在主线程中有效，非主线程会降级为不限制超时
|
||
- Windows上会降级为不限制超时
|
||
|
||
Args:
|
||
seconds: 超时时间（秒）
|
||
"""
|
||
# 检查是否在主线程中
|
||
is_main_thread = threading.current_thread() is threading.main_thread()
|
||
|
||
if sys.platform == 'win32':
|
||
# Windows不支持signal.alarm，只能记录警告
|
||
logger.warning("Windows does not support signal-based timeouts; execution time limits may not work")
|
||
yield
|
||
return
|
||
|
||
if not is_main_thread:
|
||
# 非主线程不能使用signal，记录警告但不限制超时
|
||
# logger.warning(f"当前在非主线程中运行（线程: {threading.current_thread().name}），"
|
||
# f"signal超时不可用，代码执行可能无法限制时间")
|
||
yield
|
||
return
|
||
|
||
def timeout_handler(signum, frame):
|
||
raise TimeoutError(f"代码执行超时（超过{seconds}秒）")
|
||
|
||
try:
|
||
# 设置信号处理器
|
||
old_handler = signal.signal(signal.SIGALRM, timeout_handler)
|
||
signal.alarm(seconds)
|
||
|
||
try:
|
||
yield
|
||
finally:
|
||
# 恢复原来的信号处理器
|
||
signal.alarm(0)
|
||
signal.signal(signal.SIGALRM, old_handler)
|
||
except ValueError as e:
|
||
# 如果signal设置失败（比如在某些环境中），记录警告但不中断执行
|
||
logger.warning(f"Failed to set signal timeout: {str(e)}; execution will continue without timeout enforcement")
|
||
yield
|
||
|
||
|
||
def safe_exec_code(
|
||
code: str,
|
||
exec_globals: Dict[str, Any],
|
||
exec_locals: Optional[Dict[str, Any]] = None,
|
||
timeout: int = 30,
|
||
max_memory_mb: Optional[int] = None
|
||
) -> Dict[str, Any]:
|
||
"""
|
||
安全执行Python代码
|
||
|
||
Args:
|
||
code: 要执行的Python代码
|
||
exec_globals: 全局变量字典
|
||
exec_locals: 局部变量字典（如果为None，则使用exec_globals）
|
||
timeout: 超时时间（秒），默认30秒
|
||
max_memory_mb: 最大内存限制（MB），默认500MB
|
||
|
||
Returns:
|
||
执行结果字典，包含：
|
||
- success: bool，是否执行成功
|
||
- error: str，错误信息（如果失败）
|
||
- result: Any，执行结果（如果有）
|
||
|
||
Raises:
|
||
TimeoutError: 如果代码执行超时
|
||
"""
|
||
if exec_locals is None:
|
||
exec_locals = exec_globals
|
||
|
||
# 设置内存限制（如果支持）
|
||
if max_memory_mb is None:
|
||
max_memory_mb = 500 # 默认500MB
|
||
|
||
try:
|
||
# 注意：resource.setrlimit 是进程级别，会影响整个 API 进程。
|
||
# 之前全局限制为 500MB 可能导致并行策略/线程无法分配内存。
|
||
# 仅当显式开启 SAFE_EXEC_ENABLE_RLIMIT 时才设置。
|
||
if sys.platform != 'win32' and os.getenv('SAFE_EXEC_ENABLE_RLIMIT', 'false').lower() == 'true':
|
||
try:
|
||
import resource
|
||
max_memory_bytes = max_memory_mb * 1024 * 1024
|
||
resource.setrlimit(resource.RLIMIT_AS, (max_memory_bytes, max_memory_bytes))
|
||
logger.debug(f"Memory limit set: {max_memory_mb}MB (SAFE_EXEC_ENABLE_RLIMIT enabled)")
|
||
except (ImportError, ValueError, OSError) as e:
|
||
logger.warning(f"Failed to set memory limit: {str(e)}")
|
||
else:
|
||
logger.debug("No resource memory limit (SAFE_EXEC_ENABLE_RLIMIT disabled or unsupported platform)")
|
||
|
||
# 在Windows上，timeout_context不会真正限制时间
|
||
# 但会记录警告
|
||
with timeout_context(timeout):
|
||
exec(code, exec_globals, exec_locals)
|
||
|
||
return {
|
||
'success': True,
|
||
'error': None,
|
||
'result': None
|
||
}
|
||
|
||
except MemoryError as e:
|
||
error_msg = f"代码执行内存不足（超过{max_memory_mb}MB限制）"
|
||
logger.error(f"Code execution out of memory (limit={max_memory_mb}MB)")
|
||
return {
|
||
'success': False,
|
||
'error': error_msg,
|
||
'result': None
|
||
}
|
||
except TimeoutError as e:
|
||
error_msg = str(e)
|
||
logger.error(f"Code execution timed out (timeout={timeout}s)")
|
||
return {
|
||
'success': False,
|
||
'error': error_msg,
|
||
'result': None
|
||
}
|
||
except Exception as e:
|
||
error_msg = f"代码执行错误: {str(e)}\n{traceback.format_exc()}"
|
||
logger.error(f"Code execution error: {str(e)}")
|
||
logger.error(traceback.format_exc())
|
||
return {
|
||
'success': False,
|
||
'error': error_msg,
|
||
'result': None
|
||
}
|
||
|
||
|
||
def validate_code_safety(code: str) -> Tuple[bool, Optional[str]]:
|
||
"""
|
||
验证代码安全性（基本检查）
|
||
|
||
检查代码中是否包含危险的函数调用或导入
|
||
|
||
Args:
|
||
code: 要检查的Python代码
|
||
|
||
Returns:
|
||
(is_safe: bool, error_message: Optional[str])
|
||
"""
|
||
import ast
|
||
import re
|
||
|
||
# 危险的关键字和函数名
|
||
dangerous_patterns = [
|
||
# 系统命令执行
|
||
r'\bos\.system\b',
|
||
r'\bos\.popen\b',
|
||
r'\bos\.spawn\b',
|
||
r'\bos\.exec\b',
|
||
r'\bos\.fork\b',
|
||
r'\bsubprocess\b',
|
||
r'\bcommands\b',
|
||
# 代码执行
|
||
r'\b__import__\s*\(',
|
||
r'\beval\s*\(',
|
||
r'\bexec\s*\(',
|
||
r'\bcompile\s*\(',
|
||
# 文件操作
|
||
r'\bopen\s*\(',
|
||
r'\bfile\s*\(',
|
||
r'\b__builtins__\b',
|
||
# 模块导入
|
||
r'\bimport\s+os\b',
|
||
r'\bimport\s+sys\b',
|
||
r'\bimport\s+subprocess\b',
|
||
r'\bimport\s+pymysql\b',
|
||
r'\bimport\s+sqlite3\b',
|
||
r'\bimport\s+requests\b',
|
||
r'\bimport\s+urllib\b',
|
||
r'\bimport\s+http\b',
|
||
r'\bimport\s+socket\b',
|
||
r'\bimport\s+ftplib\b',
|
||
r'\bimport\s+telnetlib\b',
|
||
r'\bimport\s+pickle\b',
|
||
r'\bimport\s+cpickle\b',
|
||
r'\bimport\s+marshal\b',
|
||
r'\bimport\s+ctypes\b',
|
||
r'\bimport\s+multiprocessing\b',
|
||
r'\bimport\s+threading\b',
|
||
r'\bimport\s+concurrent\b',
|
||
# 反射和元编程（可能用于绕过限制）
|
||
r'\bgetattr\s*\(.*__import__',
|
||
r'\bgetattr\s*\(.*eval',
|
||
r'\bgetattr\s*\(.*exec',
|
||
r'\bsetattr\s*\(',
|
||
r'\b__getattribute__\b',
|
||
r'\b__setattr__\b',
|
||
r'\b__dict__\b',
|
||
r'\bglobals\s*\(',
|
||
r'\blocals\s*\(',
|
||
r'\bdir\s*\(',
|
||
r'\btype\s*\(.*\)\s*\(', # type() 可能用于创建新类型
|
||
r'\b__class__\b',
|
||
r'\b__bases__\b',
|
||
r'\b__subclasses__\b',
|
||
r'\b__mro__\b',
|
||
r'\b__init__\b.*__import__',
|
||
r'\b__new__\b.*__import__',
|
||
# 其他危险操作
|
||
r'\b__builtins__\s*\[',
|
||
r'\b__builtins__\s*\.',
|
||
r'\b__import__\s*\(',
|
||
r'\bimportlib\b',
|
||
r'\bimp\b',
|
||
]
|
||
|
||
# 检查代码中是否包含危险模式
|
||
for pattern in dangerous_patterns:
|
||
if re.search(pattern, code):
|
||
return False, f"检测到危险代码模式: {pattern}"
|
||
|
||
# 尝试解析AST，检查是否有危险的节点
|
||
try:
|
||
tree = ast.parse(code)
|
||
|
||
# 危险模块列表（扩展）
|
||
dangerous_modules = [
|
||
'os', 'sys', 'subprocess', 'pymysql', 'sqlite3',
|
||
'requests', 'urllib', 'http', 'socket', 'ftplib', 'telnetlib',
|
||
'pickle', 'cpickle', 'marshal', 'ctypes',
|
||
'multiprocessing', 'threading', 'concurrent',
|
||
'importlib', 'imp', 'builtins'
|
||
]
|
||
|
||
# 危险函数列表（扩展）
|
||
# 注意：hasattr 是安全的，只用于检查属性，不用于访问
|
||
dangerous_functions = [
|
||
'eval', 'exec', 'compile', '__import__',
|
||
'getattr', 'setattr', 'delattr', # hasattr 已移除，它是安全的
|
||
'globals', 'locals', 'vars', 'dir', 'type'
|
||
]
|
||
|
||
# 检查是否有危险的函数调用
|
||
for node in ast.walk(tree):
|
||
# 检查是否有对危险函数的调用
|
||
if isinstance(node, ast.Call):
|
||
if isinstance(node.func, ast.Name):
|
||
func_name = node.func.id
|
||
if func_name in dangerous_functions:
|
||
return False, f"检测到危险函数调用: {func_name}()"
|
||
|
||
# 检查是否有os.system等调用
|
||
if isinstance(node.func, ast.Attribute):
|
||
if isinstance(node.func.value, ast.Name):
|
||
if node.func.value.id in dangerous_modules:
|
||
return False, f"检测到危险模块调用: {node.func.value.id}.{node.func.attr}"
|
||
|
||
# 检查是否有 getattr(builtins, '__import__') 等绕过方式
|
||
if isinstance(node.func, ast.Name) and node.func.id == 'getattr':
|
||
# 检查 getattr 的参数
|
||
if len(node.args) >= 2:
|
||
if isinstance(node.args[0], ast.Name) and node.args[0].id in ['builtins', '__builtins__']:
|
||
if isinstance(node.args[1], ast.Constant) and node.args[1].value in dangerous_functions:
|
||
return False, f"检测到通过 getattr 绕过限制: getattr({node.args[0].id}, '{node.args[1].value}')"
|
||
|
||
# 检查导入语句
|
||
for node in ast.walk(tree):
|
||
if isinstance(node, ast.Import):
|
||
for alias in node.names:
|
||
if alias.name in dangerous_modules:
|
||
return False, f"检测到危险模块导入: {alias.name}"
|
||
|
||
if isinstance(node, ast.ImportFrom):
|
||
if node.module and node.module.split('.')[0] in dangerous_modules:
|
||
return False, f"检测到危险模块导入: {node.module}"
|
||
|
||
# 检查是否有访问 __builtins__ 的尝试
|
||
for node in ast.walk(tree):
|
||
if isinstance(node, ast.Attribute):
|
||
if isinstance(node.attr, str) and node.attr.startswith('__') and node.attr.endswith('__'):
|
||
if node.attr in ['__builtins__', '__import__', '__class__', '__bases__', '__subclasses__', '__mro__']:
|
||
# 检查是否在危险上下文中使用
|
||
if isinstance(node.value, ast.Name) and node.value.id in ['builtins', '__builtins__']:
|
||
return False, f"检测到访问危险属性: {node.value.id}.{node.attr}"
|
||
|
||
except SyntaxError as e:
|
||
return False, f"代码语法错误: {str(e)}"
|
||
except Exception as e:
|
||
# 如果AST解析失败，记录警告但允许继续（可能是代码不完整）
|
||
logger.warning(f"AST parse failed; skipping safety checks: {str(e)}")
|
||
|
||
return True, None
|