Wu ChenXu

icon indicating a website link https://kabeor.cn icon indicating an email [email protected]

icon company sec3.dev icon location China icon location Hello, Computers! 🖥️ | OS & Web3 Security Researcher 🔒 | Core Developer of @qilingframework and @capstone-engine 🛠️

Results 3 issues of Wu ChenXu

Add fuzz stm32f407_hacklock example

1 comment

## Checklist ### Which kind of PR do you create? - [ ] This PR only contains minor fixes. - [ ] This PR contains major feature update. - [...

Update changelog to version 1.4.4

## Checklist ### Which kind of PR do you create? - [ ] This PR only contains minor fixes. - [ ] This PR contains major feature update. - [...

Variable offset may uninitialized

3 comment

https://github.com/ConsenSys/mythril/blob/develop/mythril/solidity/soliditycontract.py#L368C18-L368C18 ```python def _get_solc_mappings(self, srcmap, constructor=False): """ :param srcmap: :param constructor: """ mappings = self.constructor_mappings if constructor else self.mappings prev_item = "" for item in srcmap: if item == "":...