Yu WANG

Several potential data races in lwan.

2

Hi all, Our bug scanner has reported several data race issues. One is at [lwan-status.c#L52](https://github.com/lpereira/lwan/blob/master/common/lwan-status.c#L52) and [lwan-status.c#L220](https://github.com/lpereira/lwan/blob/master/common/lwan-status.c#L220) Followings are code snippets. ```c++ void \ lwan_status_##fn_name_##_debug(const char *file, \ const int...

Modify name of variables in generated cvc files.

7

Hi, During my experiment, I found that when using klee-2.0 with "-write-cvcs --libc=uclibc --posix-runtime maze.bc A --sym-files 1 30", it generates CVC files like the following: ``` A-data-stat0 : ARRAY...

Incorrect handling of $$.

2

Hi, Here is the latex code `$=$$=$`. You can see it can be split into two parts: `$=$` and `$=$`. However, latexdiff mistakenly pairs the first `$` and the last`$`,...

Error: Cannot find module './Aggregation'

2

### Description - Type: Bug - Related Issue: NA --------------------------------------------------------------- ## Bug **puml2code version** v0.7.0-19-g08a1f51 **Expected Behavior** Works correctly after running `puml2code/bin/puml2code -i library_management_system/library_management_system.puml -l java` **Actual Behavior** The command...

Hi, I just ran this on my Macbook Pro 16 M2 Pro, and here is the results. ```shell torch 1.13.1 device mps Using downloaded and verified file: data/cifar-10-python.tar.gz Extracting data/cifar-10-python.tar.gz...

Several potential NullPointerException bugs.

2

Hi all, Our tool has found several potential NPE bugs. 1. In the statement ```filters.add(new ScopedFilter(context.getSet(setSpec).getCondition(), Scope.Set));``` at line [168](https://github.com/DSpace/xoai/blob/xoai-4.1.0/xoai-data-provider/src/main/java/com/lyncode/xoai/dataprovider/handlers/helpers/ItemRepositoryHelper.java#L168), ```context.getSet(setSpec)``` may return null according to its definition at line...