linux.git/tools/testing/selftests/bpf/test_align.c, branch v4.14

selftests/bpf: add tests for subtraction & negative numbers

2017-08-09T00:51:35+00:00

Signed-off-by: Edward Cree 
Signed-off-by: David S. Miller

selftests/bpf: add test for bogus operations on pointers

2017-08-09T00:51:35+00:00

Tests non-add/sub operations (AND, LSH) on pointers decaying them to
 unknown scalars.
Also tests that a pkt_ptr add which could potentially overflow is rejected
 (find_good_pkt_pointers ignores it and doesn't give us any reg->range).

Signed-off-by: Edward Cree 
Signed-off-by: David S. Miller

selftests/bpf: add a test to test_align

2017-08-09T00:51:35+00:00

New test adds 14 to the unknown value before adding to the packet pointer,
 meaning there's no 'fixed offset' field and instead we add into the
 var_off, yielding a '4n+2' value.

Signed-off-by: Edward Cree 
Signed-off-by: David S. Miller

selftests/bpf: rewrite test_align

2017-08-09T00:51:35+00:00

Expectations have changed, as has the format of the logged state.
To make the tests easier to read, add a line-matching framework so that
 each match need only quote the register it cares about.  (Multiple
 matches may refer to the same line, but matches must be listed in
 order of increasing line.)

Signed-off-by: Edward Cree 
Signed-off-by: David S. Miller

bpf: allow to specify log level and reduce it for test_verifier

2017-07-20T22:20:27+00:00

For the test_verifier case, it's quite hard to parse log level 2 to
figure out what's causing an issue when used to log level 1. We do
want to use bpf_verify_program() in order to simulate some of the
tests with strict alignment. So just add an argument to pass the level
and put it to 1 for test_verifier.

Signed-off-by: Daniel Borkmann 
Acked-by: Alexei Starovoitov 
Signed-off-by: David S. Miller

selftests/bpf: make correct use of exit codes in bpf selftests

2017-06-13T17:58:56+00:00

The selftests depend on using the shell exit code as a mean of
detecting the success or failure of test-binary executed.  The
appropiate output "[PASS]" or "[FAIL]" in generated by
tools/testing/selftests/lib.mk.

Notice that the exit code is masked with 255. Thus, be careful if
using the number of errors as the exit code, as 256 errors would be
seen as a success.

There are two standard defined exit(3) codes:
 /usr/include/stdlib.h
 #define EXIT_FAILURE    1       /* Failing exit status.  */
 #define EXIT_SUCCESS    0       /* Successful exit status.  */

Fix test_verifier.c to not use the negative value of variable
"results", but instead return EXIT_FAILURE.

Fix test_align.c and test_progs.c to actually use exit codes, before
they were always indicating success regardless of results.

Signed-off-by: Jesper Dangaard Brouer 
Acked-by: Daniel Borkmann 
Reviewed-by: Fengguang Wu 
Signed-off-by: David S. Miller

bpf, tests: set rlimit also for test_align, so it doesn't fail

2017-06-10T23:05:46+00:00

When running all the tests, through 'make run_tests', I had
test_align failing due to insufficient rlimit. Set it the same
way as all other test cases from BPF selftests do, so that
test case properly loads everything.

  [...]
  Summary: 7 PASSED, 1 FAILED
  selftests: test_progs [PASS]
  /home/foo/net-next/tools/testing/selftests/bpf
  Test   0: mov ... Failed to load program.
  FAIL
  Test   1: shift ... Failed to load program.
  FAIL
  Test   2: addsub ... Failed to load program.
  FAIL
  Test   3: mul ... Failed to load program.
  FAIL
  Test   4: unknown shift ... Failed to load program.
  FAIL
  Test   5: unknown mul ... Failed to load program.
  FAIL
  Test   6: packet const offset ... Failed to load program.
  FAIL
  Test   7: packet variable offset ... Failed to load program.
  FAIL
  Results: 0 pass 8 fail
  selftests: test_align [PASS]
  [...]

Signed-off-by: Daniel Borkmann 
Acked-by: Alexei Starovoitov 
Signed-off-by: David S. Miller

bpf: Handle multiple variable additions into packet pointers in verifier.

2017-05-12T02:48:58+00:00

We must accumulate into reg->aux_off rather than use a plain assignment.

Add a test for this situation to test_align.

Reported-by: Alexei Starovoitov 
Signed-off-by: David S. Miller

bpf: Remove commented out debugging hack in test_align.

2017-05-12T01:41:09+00:00

Reported-by: Alexander Alemayhu 
Signed-off-by: David S. Miller

bpf: Add verifier test case for alignment.

2017-05-11T18:19:00+00:00

Signed-off-by: David S. Miller 
Acked-by: Daniel Borkmann