Skip to content
This repository has been archived by the owner on Jan 10, 2025. It is now read-only.

Remove disabled infinite loop check #219

Merged

Conversation

jackcmay
Copy link

@jackcmay jackcmay commented Oct 7, 2021

The infinite loop check in the BPF verifier just checked for a tight infinite loop (jump to same current PC) which doesn't actually protect execution from malicious behavior be any infinite loop will have the same effect. And, keeping the check in would reject any new or existing program from containing a jump to present PC even if it is in dead code.

Remove the remnants of this check because the compute meter protects against infinite programs and adding this check could break existing programs.

@jackcmay jackcmay merged commit f7c3e9e into solana-labs:main Oct 7, 2021
@jackcmay jackcmay deleted the remove-disabled-infinite-loop-check branch October 7, 2021 22:39
@dmakarov dmakarov mentioned this pull request Nov 15, 2021
dmakarov added a commit that referenced this pull request Nov 15, 2021
- Fix R_BPF_64_64 relocation handling (#225)
- Fixes the build of the CLI tool. (#224)
- Clearify error message MultipleTextSections => NotOneTextSection. (#223)
- Remove disabled infinite loop check (#219)
- Fix tests to pass on non-X86_64 architectures (#218)
- Fix Beta CI Tests (#216)
- Make disassembler output more readable (#215)
- Makes #212 configurable for feature gate. (#213)
- Fix verifier shift instruction overflows imm value (#212)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant