IzaiahSun

icon indicating a website link https://aboutme.izaiahsun.com/

icon company Nanyang Technological University icon location Singapore icon location He is a Ph.D. student in computer science (static analysis and supply chain). He will maintain some interesting open-source projects when he is free.

Results 3 issues of IzaiahSun

fix bug in file DependencyTreeUtils.py

It seems that there is something wrong in function `get_direct_objects` in file `DockerImage/code/NlpUtils/DependencyTreeUtils.py`. On line 71, function `getConjunctions` is called with two parameters, while on line 14, there is only...

Question about assignment 4

2 comment

My submission failed on 2 statements of interprocedural constant propagation. Could anyone provide some tips on it? ``` Your submission correctly analyzes 85 out of 85 call sites in test...

Fix the dependency issue when using SSA variables

9 comment

## What is happening in the previous version ```solidity function onERC721Received( address, address from, uint256, bytes calldata ) external returns (bytes4) { require(_opened, "Already yet open."); require(msg.sender == address(erc721Contract), "Unauthorized...