Michael Tüxen

Results 11 issues of Michael Tüxen

This patch improves the makefile to use the opt_*.h files used in the kernel build directory. Update the README to reflect this. Please note that this enables SCTP support on...

The peer of the SUT needs to support multiple address. It must be possible to specify the remote addresses for injected and sniffed packets. This is required for [sctp-d-v-8-10](https://github.com/nplab/ETSI-SCTP-Conformance-Testsuite/blob/master/sctp-d-tests/sctp-d-v-8-10.pkt) and...

enhancement

Allow restarts and [sctp-dm-o-4-2-1.pkt](https://github.com/nplab/ETSI-SCTP-Conformance-Testsuite/blob/master/sctp-dm-tests/sctp-dm-o-4-2-1.pkt) to be handled correctly.

bug

This is necessary for some tests like [sctp-fh-o-5-3-5](https://github.com/nplab/ETSI-SCTP-Conformance-Testsuite/blob/master/sctp-fh-tests/sctp-fh-o-5-3-5.pkt).

enhancement

The following test script should work: ``` 0.000 socket(..., SOCK_DGRAM, IPPROTO_UDP) = 3 +1.000 < udp(1000) +0.000 > [udp(1000)] icmp unreachable port_unreachable +1.000 close(3) = 0 ```

enhancement

Packet formats as described in https://tools.ietf.org/html/rfc5061. Socket API described in https://tools.ietf.org/html/rfc6458. This also requires https://github.com/nplab/packetdrill/issues/20

enhancement

Packet formats as described in https://tools.ietf.org/html/rfc4895. Socket API described in https://tools.ietf.org/html/rfc6458.

enhancement

The information is not really useful for debugging, but consumes a lot of space in the report. ******************************************************************************* Before sending a pull request, please review Contribution Guidelines: https://github.com/google/syzkaller/blob/master/docs/contributing.md *******************************************************************************