tluio

Errors occur when building Linux kernel with Infer.

5

I want to use Infer to compile some drivers in Linux kernel but some errors occured. infer version: v1.1.0-cd9b64bd4 operating system: ubuntu 18.04 Linux kernel built with Infer: linux-5.4 and...

net/lwip/port/src/sys_arch.c中内存泄露问题

1

在net/lwip/port/src/sys_arch.c中好像有一些内存泄露的问题： 227内存申请失败，221行内存泄露 234行任务创建失败，221行，227行内存泄露 255行消息创建失败，250行内存泄露

When I used SVF to process Zephyr kernel codes, I found something wrong. First, I ran cmake and got some files named build.make. Then I replaced 'clang' with 'wllvm' in...