123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287 |
- package sniffer
- import (
- "crypto"
- "crypto/aes"
- "crypto/cipher"
- "encoding/binary"
- "errors"
- "io"
- "github.com/metacubex/mihomo/common/buf"
- "github.com/metacubex/mihomo/common/utils"
- C "github.com/metacubex/mihomo/constant"
- "github.com/metacubex/quic-go/quicvarint"
- "golang.org/x/crypto/hkdf"
- )
- // Modified from https://github.com/v2fly/v2ray-core/blob/master/common/protocol/quic/sniff.go
- const (
- versionDraft29 uint32 = 0xff00001d
- version1 uint32 = 0x1
- )
- var (
- quicSaltOld = []byte{0xaf, 0xbf, 0xec, 0x28, 0x99, 0x93, 0xd2, 0x4c, 0x9e, 0x97, 0x86, 0xf1, 0x9c, 0x61, 0x11, 0xe0, 0x43, 0x90, 0xa8, 0x99}
- quicSalt = []byte{0x38, 0x76, 0x2c, 0xf7, 0xf5, 0x59, 0x34, 0xb3, 0x4d, 0x17, 0x9a, 0xe6, 0xa4, 0xc8, 0x0c, 0xad, 0xcc, 0xbb, 0x7f, 0x0a}
- errNotQuic = errors.New("not QUIC")
- errNotQuicInitial = errors.New("not QUIC initial packet")
- )
- type QuicSniffer struct {
- *BaseSniffer
- }
- func NewQuicSniffer(snifferConfig SnifferConfig) (*QuicSniffer, error) {
- ports := snifferConfig.Ports
- if len(ports) == 0 {
- ports = utils.IntRanges[uint16]{utils.NewRange[uint16](443, 443)}
- }
- return &QuicSniffer{
- BaseSniffer: NewBaseSniffer(ports, C.UDP),
- }, nil
- }
- func (quic QuicSniffer) Protocol() string {
- return "quic"
- }
- func (quic QuicSniffer) SupportNetwork() C.NetWork {
- return C.UDP
- }
- func (quic QuicSniffer) SniffData(b []byte) (string, error) {
- buffer := buf.As(b)
- typeByte, err := buffer.ReadByte()
- if err != nil {
- return "", errNotQuic
- }
- isLongHeader := typeByte&0x80 > 0
- if !isLongHeader || typeByte&0x40 == 0 {
- return "", errNotQuicInitial
- }
- vb, err := buffer.ReadBytes(4)
- if err != nil {
- return "", errNotQuic
- }
- versionNumber := binary.BigEndian.Uint32(vb)
- if versionNumber != 0 && typeByte&0x40 == 0 {
- return "", errNotQuic
- } else if versionNumber != versionDraft29 && versionNumber != version1 {
- return "", errNotQuic
- }
- if (typeByte&0x30)>>4 != 0x0 {
- return "", errNotQuicInitial
- }
- var destConnID []byte
- if l, err := buffer.ReadByte(); err != nil {
- return "", errNotQuic
- } else if destConnID, err = buffer.ReadBytes(int(l)); err != nil {
- return "", errNotQuic
- }
- if l, err := buffer.ReadByte(); err != nil {
- return "", errNotQuic
- } else if _, err := buffer.ReadBytes(int(l)); err != nil {
- return "", errNotQuic
- }
- tokenLen, err := quicvarint.Read(buffer)
- if err != nil || tokenLen > uint64(len(b)) {
- return "", errNotQuic
- }
- if _, err = buffer.ReadBytes(int(tokenLen)); err != nil {
- return "", errNotQuic
- }
- packetLen, err := quicvarint.Read(buffer)
- if err != nil {
- return "", errNotQuic
- }
- hdrLen := len(b) - buffer.Len()
- var salt []byte
- if versionNumber == version1 {
- salt = quicSalt
- } else {
- salt = quicSaltOld
- }
- initialSecret := hkdf.Extract(crypto.SHA256.New, destConnID, salt)
- secret := hkdfExpandLabel(crypto.SHA256, initialSecret, []byte{}, "client in", crypto.SHA256.Size())
- hpKey := hkdfExpandLabel(crypto.SHA256, secret, []byte{}, "quic hp", 16)
- block, err := aes.NewCipher(hpKey)
- if err != nil {
- return "", err
- }
- cache := buf.NewPacket()
- defer cache.Release()
- mask := cache.Extend(block.BlockSize())
- block.Encrypt(mask, b[hdrLen+4:hdrLen+4+16])
- firstByte := b[0]
- // Encrypt/decrypt first byte.
- if isLongHeader {
- // Long header: 4 bits masked
- // High 4 bits are not protected.
- firstByte ^= mask[0] & 0x0f
- } else {
- // Short header: 5 bits masked
- // High 3 bits are not protected.
- firstByte ^= mask[0] & 0x1f
- }
- packetNumberLength := int(firstByte&0x3 + 1) // max = 4 (64-bit sequence number)
- extHdrLen := hdrLen + packetNumberLength
- // copy to avoid modify origin data
- extHdr := cache.Extend(extHdrLen)
- copy(extHdr, b)
- extHdr[0] = firstByte
- packetNumber := extHdr[hdrLen:extHdrLen]
- // Encrypt/decrypt packet number.
- for i := range packetNumber {
- packetNumber[i] ^= mask[1+i]
- }
- if packetNumber[0] != 0 && packetNumber[0] != 1 {
- return "", errNotQuicInitial
- }
- data := b[extHdrLen : int(packetLen)+hdrLen]
- key := hkdfExpandLabel(crypto.SHA256, secret, []byte{}, "quic key", 16)
- iv := hkdfExpandLabel(crypto.SHA256, secret, []byte{}, "quic iv", 12)
- aesCipher, err := aes.NewCipher(key)
- if err != nil {
- return "", err
- }
- aead, err := cipher.NewGCM(aesCipher)
- if err != nil {
- return "", err
- }
- // We only decrypt once, so we do not need to XOR it back.
- // https://github.com/quic-go/qtls-go1-20/blob/e132a0e6cb45e20ac0b705454849a11d09ba5a54/cipher_suites.go#L496
- for i, b := range packetNumber {
- iv[len(iv)-len(packetNumber)+i] ^= b
- }
- dst := cache.Extend(len(data))
- decrypted, err := aead.Open(dst[:0], iv, data, extHdr)
- if err != nil {
- return "", err
- }
- buffer = buf.As(decrypted)
- cryptoLen := uint(0)
- cryptoData := cache.Extend(buffer.Len())
- for i := 0; !buffer.IsEmpty(); i++ {
- frameType := byte(0x0) // Default to PADDING frame
- for frameType == 0x0 && !buffer.IsEmpty() {
- frameType, _ = buffer.ReadByte()
- }
- switch frameType {
- case 0x00: // PADDING frame
- case 0x01: // PING frame
- case 0x02, 0x03: // ACK frame
- if _, err = quicvarint.Read(buffer); err != nil { // Field: Largest Acknowledged
- return "", io.ErrUnexpectedEOF
- }
- if _, err = quicvarint.Read(buffer); err != nil { // Field: ACK Delay
- return "", io.ErrUnexpectedEOF
- }
- ackRangeCount, err := quicvarint.Read(buffer) // Field: ACK Range Count
- if err != nil {
- return "", io.ErrUnexpectedEOF
- }
- if _, err = quicvarint.Read(buffer); err != nil { // Field: First ACK Range
- return "", io.ErrUnexpectedEOF
- }
- for i := 0; i < int(ackRangeCount); i++ { // Field: ACK Range
- if _, err = quicvarint.Read(buffer); err != nil { // Field: ACK Range -> Gap
- return "", io.ErrUnexpectedEOF
- }
- if _, err = quicvarint.Read(buffer); err != nil { // Field: ACK Range -> ACK Range Length
- return "", io.ErrUnexpectedEOF
- }
- }
- if frameType == 0x03 {
- if _, err = quicvarint.Read(buffer); err != nil { // Field: ECN Counts -> ECT0 Count
- return "", io.ErrUnexpectedEOF
- }
- if _, err = quicvarint.Read(buffer); err != nil { // Field: ECN Counts -> ECT1 Count
- return "", io.ErrUnexpectedEOF
- }
- if _, err = quicvarint.Read(buffer); err != nil { //nolint:misspell // Field: ECN Counts -> ECT-CE Count
- return "", io.ErrUnexpectedEOF
- }
- }
- case 0x06: // CRYPTO frame, we will use this frame
- offset, err := quicvarint.Read(buffer) // Field: Offset
- if err != nil {
- return "", io.ErrUnexpectedEOF
- }
- length, err := quicvarint.Read(buffer) // Field: Length
- if err != nil || length > uint64(buffer.Len()) {
- return "", io.ErrUnexpectedEOF
- }
- if cryptoLen < uint(offset+length) {
- cryptoLen = uint(offset + length)
- }
- if _, err := buffer.Read(cryptoData[offset : offset+length]); err != nil { // Field: Crypto Data
- return "", io.ErrUnexpectedEOF
- }
- case 0x1c: // CONNECTION_CLOSE frame, only 0x1c is permitted in initial packet
- if _, err = quicvarint.Read(buffer); err != nil { // Field: Error Code
- return "", io.ErrUnexpectedEOF
- }
- if _, err = quicvarint.Read(buffer); err != nil { // Field: Frame Type
- return "", io.ErrUnexpectedEOF
- }
- length, err := quicvarint.Read(buffer) // Field: Reason Phrase Length
- if err != nil {
- return "", io.ErrUnexpectedEOF
- }
- if _, err := buffer.ReadBytes(int(length)); err != nil { // Field: Reason Phrase
- return "", io.ErrUnexpectedEOF
- }
- default:
- // Only above frame types are permitted in initial packet.
- // See https://www.rfc-editor.org/rfc/rfc9000.html#section-17.2.2-8
- return "", errNotQuicInitial
- }
- }
- domain, err := ReadClientHello(cryptoData[:cryptoLen])
- if err != nil {
- return "", err
- }
- return *domain, nil
- }
- func hkdfExpandLabel(hash crypto.Hash, secret, context []byte, label string, length int) []byte {
- b := make([]byte, 3, 3+6+len(label)+1+len(context))
- binary.BigEndian.PutUint16(b, uint16(length))
- b[2] = uint8(6 + len(label))
- b = append(b, []byte("tls13 ")...)
- b = append(b, []byte(label)...)
- b = b[:3+6+len(label)+1]
- b[3+6+len(label)] = uint8(len(context))
- b = append(b, context...)
- out := make([]byte, length)
- n, err := hkdf.Expand(hash.New, secret, b).Read(out)
- if err != nil || n != length {
- panic("quic: HKDF-Expand-Label invocation failed unexpectedly")
- }
- return out
- }
|