Benjamin Steenhoek
Benjamin Steenhoek
Hello, my name is Ben Steenhoek and I am a PhD student at Iowa State University studying deep learning-based vulnerability detection. Thank you for making this dataset available and easy...
This PR adds two modes, `cublas` and `cudnn`, for installing CuBLAS and CuDNN automatically. These packages are needed in order to install/run PyTorch on Fedora 37, so it would be...
Thank you for releasing this very useful tool -- it was the only way I could successfully install CUDA for PyTorch on my fresh Fedora 37 installation. However, there were...
Hello, thank you for open-sourcing this dataset. I see that you don't plan to release the C++ sandbox. https://github.com/deepmind/code_contests/issues/16 Can you share the options used to compile and execute the...
**Description** I tried to generate tests for the integration-tests/c-example project and receive this message with an error: > RESOURCE_EXHAUSTED: Received message larger than max (5124057 vs. 4194304) This prevents any...
When parsing AST, sometimes messages or warnings arise. I want to print a stack trace from the AST root to the warning when this happens. Look at the warning in...
Probably these constructs are not handled correctly by CFG and DUC. - [ ] Pointer declarations included in CFG - [ ] Array declarations included in CFG - [ ]...
Probably there is some stuff going on with structs that is not handled correctly by CFG or DUC. - [ ] Struct declarations - [ ] Struct declarations with initializer...
CFGCreator should handle multiple files and functions correctly. Files should be represented by a FILE node containing all the functions and global variables in the file. Functions should be connected...
Add expressions inside statements to the CFG, such as `if ((i = 0) == 0)`. Some CFGs collapse all operations within a statement, line, or basic block into one node....