Paul Buxton

Results 5 issues of Paul Buxton

When using an SPDX LicenseRef license these will normally not be recognized by Nomos., as a result Nomos will report it as License Not Found, which the decider sees and...

enhancement
good first issue

### Description I am testing out the Software Heritage Scanner to see what it produces on a typical component we use. After adding an authentication token to lift the rate...

bug

Hi, I initially read the Policies documentation as meaning that you could supply a policies.yml as a file in the root of the codebase being scanned, after some experimenting and...

enhancement
design-needed

In section 5.7 Disabling CHERI Registers the description points to Sections 3.3 and 8.5 for instructions that should generate exceptions. Whilst the text does say CHERI instructions, it is quite...

documentation

Fix the boundary code so that the boundaries are at the edge of the screen. Add the missing boundary code to the automata code. The book specifically mentions that we...