ravi
ravi copied to clipboard
dibyendumajumdar
Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers
``` function x(a: integer, b: integer[]) local a1 = a[0] end ``` It should not be possible to index an variable that is marked as integer. This will fail at...
Hello, I was using American Fuzzy Lop (afl-fuzz) to fuzz input to the `ravi` program on Linux. Is fixing the crashes from these input files something you're interested in? The...
If an integer or number array is accessed through an upvalue, the type of the result will be the same as the array, since the handling case in `luaK_dischargevars` does...
On Windows there is occasionally a crash when Lua attempts a Longjmp because an error has been raised. Windows complains about misaligned or invalid stack. The error does not occur...
A few things I have been thinking about doing for a while: - [x] Only keep public header files in include folder - [ ] Create a separate source file...
There is an integer overflow in `ravi_create_slice` at: https://github.com/dibyendumajumdar/ravi/blob/56a59a1f3117a8bc88206305b94398678de1bdff/src/lapi.c#L903 This can result in slices with a length or index that exceeds that of the parent as can be seen in...
There is an integer overflow in `raviH_new_integer_array` at https://github.com/dibyendumajumdar/ravi/blob/56a59a1f3117a8bc88206305b94398678de1bdff/src/ltable.c#L893 When the requested array size is `0xFFFFFFFF` the array being allocated is of size 0 but the initialization will segfault as...
In the case where BNOT receives a float as input, it will deduce that the output is a float too. However, this is wrong since at runtime BNOT will cast...
The return type for LEN is wrong if the `__len` metamethod for floats or integers is overwritten and the length from an array element from a ravi array is taken....
Metadata
Owner
Metadata
Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers