seitan/tests/unit/Makefile, branch master

test: fix test-error-check

2023-07-14T10:50:03+00:00

The error-check tests recompile and pass.

test: fix filter tests

2023-07-04T14:52:16+00:00

The filter tests recompile and pass.

test: fix filter-build test and bugs

2023-07-03T15:28:33+00:00

The tests for checking the filter build recompile and are successfull.

Changes:
  - spotted a couple of bugs for adding the arguments in the filter
  - readded function `filter_flush_args` to flush_args; this is needed
    to distinguish when the arguments belong to the same block or are different
    entries to the same syscall
  - build the filter in a way that CMP_EQ corresponds to BPF_JEQ and we
    don't need to awkwardly negate the operations (still TODO for AND_EQ)

treewide: Change to GPLv2, add LICENSES, missing headers

2023-06-04T06:29:05+00:00

As discussed with Alice -- 'reuse lint' passes now.

Signed-off-by: Stefano Brivio

ops: fix op_call and tests

2023-05-19T12:37:42+00:00

gluten: check limits

2023-05-09T13:58:23+00:00

Add bounds checking:
  - if offset is larger then the maximum per offset type
  - if memcpy is reading/writing inside gluten

test: fix operations

2023-05-08T12:47:22+00:00

Adjust the tests after the refactoring and to use struct gluten_offset

Refactor tests to use same struct arg as the filter

2023-04-12T12:39:30+00:00

Add other comparison operation for the BPF filter

2023-04-12T09:06:27+00:00

Refactor makefile

2023-04-06T12:13:07+00:00