혹시 fuzzer를 돌리셨나요? ㅎㅎㅎ API가 비교적 나중에 결정되었기 때문에 fuzzer를 돌리는 게 늦어서 이제야 돌리고 있는데 아마 예측 가능한 곳에서 많이 터질 겁니다... 참고로 해당 사항은 fuzzing 과정에서 확인해서 곧 수정을 올릴 예정입니다.
혹시 fuzzer를 돌리셨나요? ㅎㅎㅎ API가 비교적 나중에 결정되었기 때문에 fuzzer를 돌리는 게 늦어서 이제야 돌리고 있는데 아마 예측 가능한 곳에서 많이 터질 겁니다... 참고로 해당 사항은 fuzzing 과정에서 확인해서 곧 수정을 올릴 예정입니다.
https://github.com/lifthrasiir/j40/…
이부분 음수 체크 해야할것 같아요~~
j40__ans_table 함수에서도 sizeof(int16_t) * (size_t) table_size 를 변수에 저장하고 D 배열 접근하기전에 체크 해야 할 거 같아요.
특히 case 2에서 0 <= bias_size <= alpha_size <= table_size <= sizeof(int16_t) * (size_t) table_size 조건을 J40__SHOULD 를 쓸 필요가 있어 보여요.
멋진 프로젝트 잘 봤습니다~