maplgebra

``` [DEBUG] [MainThread] [10:55:28] [parser.py:1315] [AST] vul_function:mysql_query [DEBUG] [MainThread] [10:55:28] [parser.py:1122] [AST] AST to find param Variable('$b') [DEBUG] [MainThread] [10:55:28] [parser.py:598] [BT] param=Variable('$b'),nodes=[Assignment(Variable('$glob'), ArrayOffset(Variable('$_GET'), 'maple'), False), Function('add_func', [FormalParameter('$did', None, False,...

师傅理论上如果我把上面那个地方注释掉了，就可以检测出来， 但是结果是没有，我还在找递归逻辑哪里不对 -。-

我想我找到了 https://github.com/LoRexxar/Cobra-W/blob/master/cobra/core_engine/php/parser.py#L757 这里当发现一个可控是不是就可以返回了呢？没有必要再继续遍历了？ 后面加一行 ```diff if _is_co != -1: # 当参数可控时，值赋给is_co 和 cp，有一个参数可控，则认定这个函数可能可控 is_co = _is_co cp = _cp + return is_co,cp,expr_lineno ``` 这里我加了之后 检测出来了

师傅邮箱多少？ 有时间我想请教一下师傅！

This connection error was solved after updating vscode. But it is stuck at "loading..." and does not advance. I tried to load different agda files and both of them got...

> Can you please provide an example file for reproducing this? Any agda files. It looks like that  I have verified that the agda process started, such that ```...

> me too！ how solve？ Hey, you need to modify the `service.py` such as ```diff + from hexbytes import HexBytes - self._contract: Contract = Contract(build_json["abi"], build_json["bytecode"]) + self._contract: Contract =...