maplgebra

which lex tool used for ffi.g

5

the question is the title, thanks

[Bug] Editor-Loader js got blocked by CSP of discord

1

**Describe the Bug** It seems that our injector for removing csp of discord doesn't work. I have reinstalled discord and BD, but it still didn't work. **Screenshots**   **Discord...

跑docker镜像的时候，附加上https_proxy会导致微信登录出现重定向超上限... 报错如下 ``` uncaughtException Error [ERR_FR_TOO_MANY_REDIRECTS]: Maximum number of redirects exceeded at Function.AxiosError.from (/app/node_modules/axios/lib/core/AxiosError.js:89:14) at RedirectableRequest.handleRequestError (/app/node_modules/axios/lib/adapters/http.js:518:25) at RedirectableRequest.emit (node:events:525:35) at RedirectableRequest.emit (node:domain:489:12) at RedirectableRequest._processResponse (/app/node_modules/follow-redirects/index.js:371:10) at ClientRequest.RedirectableRequest._onNativeResponse (/app/node_modules/follow-redirects/index.js:62:10) at...

feat: 屏蔽除纯文本以为所有的富文本 i.e., 例如表情图片等等.

1

如题.

变量赋值时右值为变量拼接时存在问题

21

```php function add_func($did){ $did=$_GET['maple']; $pid="random"; $pid=$pid.$did; $a = $pid ^ 'randow'; $b = $a.'aaaaaaaaaaaaaaaaaaaaaaaaaaa'; mysql_query($b); } ``` 为什么这里会选择略过呢？ 考虑了什么逻辑？ ``` [DEBUG] [MainThread] [17:50:53] [parser.py:1314] [AST] vul_function:mysql_query [DEBUG] [MainThread] [17:50:53] [parser.py:1121]...

Segfault when take a ready snapshot

1

I have tried following ways ``` LD_PRELOAD=xxx/libs2e-x86_64.so xxx/qemu-system-x86_64 -enable-kvm \ -drive if=ide,index=0,file=./image.raw.s2e,format=s2e,cache=writeback \ -serial file:./serial2.txt -enable-serial-commands \ -net none -net nic,model=e1000 \ -m 512M \ -nographic -monitor null ``` and...

Show a connection error when load agda file

3

The error showed in the vscode console as follows. ``` Connection Error: Internal Parse Error Perhaps the underlying protocol used by Agda for communicating with agda-mode has changed. Please report...

Create user account failed

3

When connect to the platform, and type `1` in the console, it shows a error such as ``` nc 127.0.0.1 20000 Can you make the isSolved() function return true? [1]...