yiyuaner

In lib/lpeg.c, function verify: static int verify (lua_State *L, Instruction *op, const Instruction *p, Instruction *e, int postable, int rule) { static const char dummy[] = ""; Stack back[MAXBACK]; int...

In function `massip_pick` in file `massip.c`, we have the following code:` https://github.com/robertdavidgraham/masscan/blob/1310495455ec3156f0194e0f7f9dad3a281419c5/src/massip.c#L34 The variable `massip->count_ipv4s` is used as a divisor. However it may be zero. Consider the following call sequence:...

Simple type hierachy analysis produce wrong results

1

- [x] I have searched open and closed issues for duplicates - [x] I made sure that I am not using an old project version (DO: pull Phasar, update git...

ikos crashes during preprocessing

4

I was running ikos using a bitcode file compiled from clang-9. The command is: ``` ikos -a=boa redis-cli.bc 2>&1 | tee log ``` The stack trace is: ``` #0 0x000055bb668ab98d...

Avoid potential integer overflow in moduleCreateArgvFromUserFormat

1

Fixes [issue 9653](https://github.com/redis/redis/issues/9653).