core: make the valid pointer range 4096-7777777777
[smatch.git] / README
blob7cf62800e8f71259cf57f811269f933256617e11
1 There are some documents under the Documentation/ directory.