• Alexei Starovoitov's avatar
    bpf: verifier (add docs) · 51580e79
    Alexei Starovoitov authored
    this patch adds all of eBPF verfier documentation and empty bpf_check()
    
    The end goal for the verifier is to statically check safety of the program.
    
    Verifier will catch:
    - loops
    - out of range jumps
    - unreachable instructions
    - invalid instructions
    - uninitialized register access
    - uninitialized stack access
    - misaligned stack access
    - out of range stack access
    - invalid calling convention
    
    More details in Documentation/networking/filter.txt
    Signed-off-by: default avatarAlexei Starovoitov <ast@plumgrid.com>
    Signed-off-by: default avatarDavid S. Miller <davem@davemloft.net>
    51580e79
verifier.c 5.93 KB