Kaixuan Li

Thank you. I tried it on a ubuntu device, and modify the open files num with ulimit. And now, it is set to 1048576. ` lab@lab-MS-7C82:~/Desktop/BenchmarkJava/.horusec/d7359263-fa85-4d08-91c2-2bb76a623a9c$ ulimit -Hn 1048576 lab@lab-MS-7C82:~/Desktop/BenchmarkJava/.horusec/d7359263-fa85-4d08-91c2-2bb76a623a9c$...

Hi, @ne0z , I have the same question. And I tried to read the guide from the docu you provided, but the website is static? I cannot find where the...

Well, I tried it and found that it was caused by my Edge browser. And it was solved when I updated my browser and turned off the system proxy of...

Yes, I have fixed it according to your guidance. Thanks a lot!Sent from my iPhoneOn 10 Nov 2022, at 07:27, John Tabone ***@***.***> wrote: @MarkLee131 were you able to fix...

Hhh anyway, thanks for your team! Actually, I solved it on my new machine according to @xotohop's advice. It seems to be a problem of my previous machine.

Hi @jtabone16. Another thing is, maybe the documentation of Horusec can be improved, I found there are some typos in the docs about its rules. For example, it starts from...

I checked it. The details are as follows: ``` lab@****:~$ ulimit -a core file size (blocks, -c) 0 data seg size (kbytes, -d) unlimited scheduling priority (-e) 0 file size...

same error, seems Manticore failed to generate its report.

R u a bot, bro?@sriramsowmithri9807

Hi @0xalpharush, really appreciate what you guys have done with Slither for Solidity smart contracts. It's been super helpful in my work. I'm eager to contribute and make it even...