package main

import (
	"bufio"
	"io"
	"net/http"
)

func TaintStepTest_NetHttpCanonicalHeaderKey_B0I0O0(sourceCQL interface{}) interface{} {
	fromString656 := sourceCQL.(string)
	intoString414 := http.CanonicalHeaderKey(fromString656)
	return intoString414
}

func TaintStepTest_NetHttpError_B0I0O0(sourceCQL interface{}) interface{} {
	fromString518 := sourceCQL.(string)
	var intoResponseWriter650 http.ResponseWriter
	http.Error(intoResponseWriter650, fromString518, 0)
	return intoResponseWriter650
}

func TaintStepTest_NetHttpMaxBytesReader_B0I0O0(sourceCQL interface{}) interface{} {
	fromReadCloser784 := sourceCQL.(io.ReadCloser)
	intoReadCloser957 := http.MaxBytesReader(nil, fromReadCloser784, 0)
	return intoReadCloser957
}

func TaintStepTest_NetHttpNewRequest(taintedString string) interface{} {
	result, _ := http.NewRequest("GET", taintedString, nil)
	return result
}

func TaintStepTest_NetHttpNewRequestWithContext(taintedString string) interface{} {
	result, _ := http.NewRequestWithContext(nil, "GET", taintedString, nil)
	return result
}

func TaintStepTest_NetHttpReadRequest_B0I0O0(sourceCQL interface{}) interface{} {
	fromReader520 := sourceCQL.(*bufio.Reader)
	intoRequest443, _ := http.ReadRequest(fromReader520)
	return intoRequest443
}

func TaintStepTest_NetHttpReadResponse_B0I0O0(sourceCQL interface{}) interface{} {
	fromReader127 := sourceCQL.(*bufio.Reader)
	intoResponse483, _ := http.ReadResponse(fromReader127, nil)
	return intoResponse483
}

func TaintStepTest_NetHttpSetCookie_B0I0O0(sourceCQL interface{}) interface{} {
	fromCookie989 := sourceCQL.(*http.Cookie)
	var intoResponseWriter982 http.ResponseWriter
	http.SetCookie(intoResponseWriter982, fromCookie989)
	return intoResponseWriter982
}

func TaintStepTest_NetHttpHeaderAdd_B0I0O0(sourceCQL interface{}) interface{} {
	fromString417 := sourceCQL.(string)
	var intoHeader584 http.Header
	intoHeader584.Add(fromString417, "")
	return intoHeader584
}

func TaintStepTest_NetHttpHeaderAdd_B0I1O0(sourceCQL interface{}) interface{} {
	fromString991 := sourceCQL.(string)
	var intoHeader881 http.Header
	intoHeader881.Add("", fromString991)
	return intoHeader881
}

func TaintStepTest_NetHttpHeaderClone_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader186 := sourceCQL.(http.Header)
	intoHeader284 := fromHeader186.Clone()
	return intoHeader284
}

func TaintStepTest_NetHttpHeaderGet_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader908 := sourceCQL.(http.Header)
	intoString137 := fromHeader908.Get("")
	return intoString137
}

func TaintStepTest_NetHttpHeaderSet_B0I0O0(sourceCQL interface{}) interface{} {
	fromString494 := sourceCQL.(string)
	var intoHeader873 http.Header
	intoHeader873.Set(fromString494, "")
	return intoHeader873
}

func TaintStepTest_NetHttpHeaderSet_B0I1O0(sourceCQL interface{}) interface{} {
	fromString599 := sourceCQL.(string)
	var intoHeader409 http.Header
	intoHeader409.Set("", fromString599)
	return intoHeader409
}

func TaintStepTest_NetHttpHeaderValues_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader246 := sourceCQL.(http.Header)
	intoString898 := fromHeader246.Values("")
	return intoString898
}

func TaintStepTest_NetHttpHeaderWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader598 := sourceCQL.(http.Header)
	var intoWriter631 io.Writer
	fromHeader598.Write(intoWriter631)
	return intoWriter631
}

func TaintStepTest_NetHttpHeaderWriteSubset_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader165 := sourceCQL.(http.Header)
	var intoWriter150 io.Writer
	fromHeader165.WriteSubset(intoWriter150, nil)
	return intoWriter150
}

func TaintStepTest_NetHttpRequestAddCookie_B0I0O0(sourceCQL interface{}) interface{} {
	fromCookie340 := sourceCQL.(*http.Cookie)
	var intoRequest471 http.Request
	intoRequest471.AddCookie(fromCookie340)
	return intoRequest471
}

func TaintStepTest_NetHttpRequestClone_B0I0O0(sourceCQL interface{}) interface{} {
	fromRequest290 := sourceCQL.(http.Request)
	intoRequest758 := fromRequest290.Clone(nil)
	return intoRequest758
}

func TaintStepTest_NetHttpRequestWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromRequest396 := sourceCQL.(http.Request)
	var intoWriter707 io.Writer
	fromRequest396.Write(intoWriter707)
	return intoWriter707
}

func TaintStepTest_NetHttpRequestWriteProxy_B0I0O0(sourceCQL interface{}) interface{} {
	fromRequest912 := sourceCQL.(http.Request)
	var intoWriter718 io.Writer
	fromRequest912.WriteProxy(intoWriter718)
	return intoWriter718
}

func TaintStepTest_NetHttpResponseWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromResponse972 := sourceCQL.(http.Response)
	var intoWriter633 io.Writer
	fromResponse972.Write(intoWriter633)
	return intoWriter633
}

func TaintStepTest_NetHttpTransportClone_B0I0O0(sourceCQL interface{}) interface{} {
	fromTransport316 := sourceCQL.(http.Transport)
	intoTransport145 := fromTransport316.Clone()
	return intoTransport145
}

func TaintStepTest_NetHttpHijackerHijack_B0I0O0(sourceCQL interface{}) interface{} {
	fromHijacker817 := sourceCQL.(http.Hijacker)
	intoConn474, _, _ := fromHijacker817.Hijack()
	return intoConn474
}

func TaintStepTest_NetHttpHijackerHijack_B0I0O1(sourceCQL interface{}) interface{} {
	fromHijacker832 := sourceCQL.(http.Hijacker)
	_, intoReadWriter378, _ := fromHijacker832.Hijack()
	return intoReadWriter378
}

func TaintStepTest_NetHttpResponseWriterWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromByte541 := sourceCQL.([]byte)
	var intoResponseWriter139 http.ResponseWriter
	intoResponseWriter139.Write(fromByte541)
	return intoResponseWriter139
}

func RunAllTaints_NetHttp() {
	{
		source := newSource(0)
		out := TaintStepTest_NetHttpCanonicalHeaderKey_B0I0O0(source)
		sink(0, out)
	}
	{
		source := newSource(1)
		out := TaintStepTest_NetHttpError_B0I0O0(source)
		sink(1, out)
	}
	{
		source := newSource(2)
		out := TaintStepTest_NetHttpMaxBytesReader_B0I0O0(source)
		sink(2, out)
	}
	{
		source := newSource(24)
		out := TaintStepTest_NetHttpNewRequest(source.(string))
		sink(24, out)
	}
	{
		source := newSource(25)
		out := TaintStepTest_NetHttpNewRequestWithContext(source.(string))
		sink(25, out)
	}
	{
		source := newSource(3)
		out := TaintStepTest_NetHttpReadRequest_B0I0O0(source)
		sink(3, out)
	}
	{
		source := newSource(4)
		out := TaintStepTest_NetHttpReadResponse_B0I0O0(source)
		sink(4, out)
	}
	{
		source := newSource(5)
		out := TaintStepTest_NetHttpSetCookie_B0I0O0(source)
		sink(5, out)
	}
	{
		source := newSource(6)
		out := TaintStepTest_NetHttpHeaderAdd_B0I0O0(source)
		sink(6, out)
	}
	{
		source := newSource(7)
		out := TaintStepTest_NetHttpHeaderAdd_B0I1O0(source)
		sink(7, out)
	}
	{
		source := newSource(8)
		out := TaintStepTest_NetHttpHeaderClone_B0I0O0(source)
		sink(8, out)
	}
	{
		source := newSource(9)
		out := TaintStepTest_NetHttpHeaderGet_B0I0O0(source)
		sink(9, out)
	}
	{
		source := newSource(10)
		out := TaintStepTest_NetHttpHeaderSet_B0I0O0(source)
		sink(10, out)
	}
	{
		source := newSource(11)
		out := TaintStepTest_NetHttpHeaderSet_B0I1O0(source)
		sink(11, out)
	}
	{
		source := newSource(12)
		out := TaintStepTest_NetHttpHeaderValues_B0I0O0(source)
		sink(12, out)
	}
	{
		source := newSource(13)
		out := TaintStepTest_NetHttpHeaderWrite_B0I0O0(source)
		sink(13, out)
	}
	{
		source := newSource(14)
		out := TaintStepTest_NetHttpHeaderWriteSubset_B0I0O0(source)
		sink(14, out)
	}
	{
		source := newSource(15)
		out := TaintStepTest_NetHttpRequestAddCookie_B0I0O0(source)
		sink(15, out)
	}
	{
		source := newSource(16)
		out := TaintStepTest_NetHttpRequestClone_B0I0O0(source)
		sink(16, out)
	}
	{
		source := newSource(17)
		out := TaintStepTest_NetHttpRequestWrite_B0I0O0(source)
		sink(17, out)
	}
	{
		source := newSource(18)
		out := TaintStepTest_NetHttpRequestWriteProxy_B0I0O0(source)
		sink(18, out)
	}
	{
		source := newSource(19)
		out := TaintStepTest_NetHttpResponseWrite_B0I0O0(source)
		sink(19, out)
	}
	{
		source := newSource(20)
		out := TaintStepTest_NetHttpTransportClone_B0I0O0(source)
		sink(20, out)
	}
	{
		source := newSource(21)
		out := TaintStepTest_NetHttpHijackerHijack_B0I0O0(source)
		sink(21, out)
	}
	{
		source := newSource(22)
		out := TaintStepTest_NetHttpHijackerHijack_B0I0O1(source)
		sink(22, out)
	}
	{
		source := newSource(23)
		out := TaintStepTest_NetHttpResponseWriterWrite_B0I0O0(source)
		sink(23, out)
	}
}
// Code generated by https://github.com/gagliardetto/codebox. DO NOT EDIT.

package main

import (
	"bufio"
	"io"
	"net/http"
)

func TaintStepTest_NetHttpCanonicalHeaderKey_B0I0O0(sourceCQL interface{}) interface{} {
	fromString656 := sourceCQL.(string)
	intoString414 := http.CanonicalHeaderKey(fromString656)
	return intoString414
}

func TaintStepTest_NetHttpError_B0I0O0(sourceCQL interface{}) interface{} {
	fromString518 := sourceCQL.(string)
	var intoResponseWriter650 http.ResponseWriter
	http.Error(intoResponseWriter650, fromString518, 0)
	return intoResponseWriter650
}

func TaintStepTest_NetHttpMaxBytesReader_B0I0O0(sourceCQL interface{}) interface{} {
	fromReadCloser784 := sourceCQL.(io.ReadCloser)
	intoReadCloser957 := http.MaxBytesReader(nil, fromReadCloser784, 0)
	return intoReadCloser957
}

func TaintStepTest_NetHttpNewRequest(taintedString string) interface{} {
	result, _ := http.NewRequest("GET", taintedString, nil)
	return result
}

func TaintStepTest_NetHttpNewRequestWithContext(taintedString string) interface{} {
	result, _ := http.NewRequestWithContext(nil, "GET", taintedString, nil)
	return result
}

func TaintStepTest_NetHttpReadRequest_B0I0O0(sourceCQL interface{}) interface{} {
	fromReader520 := sourceCQL.(*bufio.Reader)
	intoRequest443, _ := http.ReadRequest(fromReader520)
	return intoRequest443
}

func TaintStepTest_NetHttpReadResponse_B0I0O0(sourceCQL interface{}) interface{} {
	fromReader127 := sourceCQL.(*bufio.Reader)
	intoResponse483, _ := http.ReadResponse(fromReader127, nil)
	return intoResponse483
}

func TaintStepTest_NetHttpSetCookie_B0I0O0(sourceCQL interface{}) interface{} {
	fromCookie989 := sourceCQL.(*http.Cookie)
	var intoResponseWriter982 http.ResponseWriter
	http.SetCookie(intoResponseWriter982, fromCookie989)
	return intoResponseWriter982
}

func TaintStepTest_NetHttpHeaderAdd_B0I0O0(sourceCQL interface{}) interface{} {
	fromString417 := sourceCQL.(string)
	var intoHeader584 http.Header
	intoHeader584.Add(fromString417, "")
	return intoHeader584
}

func TaintStepTest_NetHttpHeaderAdd_B0I1O0(sourceCQL interface{}) interface{} {
	fromString991 := sourceCQL.(string)
	var intoHeader881 http.Header
	intoHeader881.Add("", fromString991)
	return intoHeader881
}

func TaintStepTest_NetHttpHeaderClone_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader186 := sourceCQL.(http.Header)
	intoHeader284 := fromHeader186.Clone()
	return intoHeader284
}

func TaintStepTest_NetHttpHeaderGet_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader908 := sourceCQL.(http.Header)
	intoString137 := fromHeader908.Get("")
	return intoString137
}

func TaintStepTest_NetHttpHeaderSet_B0I0O0(sourceCQL interface{}) interface{} {
	fromString494 := sourceCQL.(string)
	var intoHeader873 http.Header
	intoHeader873.Set(fromString494, "")
	return intoHeader873
}

func TaintStepTest_NetHttpHeaderSet_B0I1O0(sourceCQL interface{}) interface{} {
	fromString599 := sourceCQL.(string)
	var intoHeader409 http.Header
	intoHeader409.Set("", fromString599)
	return intoHeader409
}

func TaintStepTest_NetHttpHeaderValues_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader246 := sourceCQL.(http.Header)
	intoString898 := fromHeader246.Values("")
	return intoString898
}

func TaintStepTest_NetHttpHeaderWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader598 := sourceCQL.(http.Header)
	var intoWriter631 io.Writer
	fromHeader598.Write(intoWriter631)
	return intoWriter631
}

func TaintStepTest_NetHttpHeaderWriteSubset_B0I0O0(sourceCQL interface{}) interface{} {
	fromHeader165 := sourceCQL.(http.Header)
	var intoWriter150 io.Writer
	fromHeader165.WriteSubset(intoWriter150, nil)
	return intoWriter150
}

func TaintStepTest_NetHttpRequestAddCookie_B0I0O0(sourceCQL interface{}) interface{} {
	fromCookie340 := sourceCQL.(*http.Cookie)
	var intoRequest471 http.Request
	intoRequest471.AddCookie(fromCookie340)
	return intoRequest471
}

func TaintStepTest_NetHttpRequestClone_B0I0O0(sourceCQL interface{}) interface{} {
	fromRequest290 := sourceCQL.(http.Request)
	intoRequest758 := fromRequest290.Clone(nil)
	return intoRequest758
}

func TaintStepTest_NetHttpRequestWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromRequest396 := sourceCQL.(http.Request)
	var intoWriter707 io.Writer
	fromRequest396.Write(intoWriter707)
	return intoWriter707
}

func TaintStepTest_NetHttpRequestWriteProxy_B0I0O0(sourceCQL interface{}) interface{} {
	fromRequest912 := sourceCQL.(http.Request)
	var intoWriter718 io.Writer
	fromRequest912.WriteProxy(intoWriter718)
	return intoWriter718
}

func TaintStepTest_NetHttpResponseWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromResponse972 := sourceCQL.(http.Response)
	var intoWriter633 io.Writer
	fromResponse972.Write(intoWriter633)
	return intoWriter633
}

func TaintStepTest_NetHttpTransportClone_B0I0O0(sourceCQL interface{}) interface{} {
	fromTransport316 := sourceCQL.(http.Transport)
	intoTransport145 := fromTransport316.Clone()
	return intoTransport145
}

func TaintStepTest_NetHttpHijackerHijack_B0I0O0(sourceCQL interface{}) interface{} {
	fromHijacker817 := sourceCQL.(http.Hijacker)
	intoConn474, _, _ := fromHijacker817.Hijack()
	return intoConn474
}

func TaintStepTest_NetHttpHijackerHijack_B0I0O1(sourceCQL interface{}) interface{} {
	fromHijacker832 := sourceCQL.(http.Hijacker)
	_, intoReadWriter378, _ := fromHijacker832.Hijack()
	return intoReadWriter378
}

func TaintStepTest_NetHttpResponseWriterWrite_B0I0O0(sourceCQL interface{}) interface{} {
	fromByte541 := sourceCQL.([]byte)
	var intoResponseWriter139 http.ResponseWriter
	intoResponseWriter139.Write(fromByte541)
	return intoResponseWriter139
}

func RunAllTaints_NetHttp() {
	{
		source := newSource(0)
		out := TaintStepTest_NetHttpCanonicalHeaderKey_B0I0O0(source)
		sink(0, out)
	}
	{
		source := newSource(1)
		out := TaintStepTest_NetHttpError_B0I0O0(source)
		sink(1, out)
	}
	{
		source := newSource(2)
		out := TaintStepTest_NetHttpMaxBytesReader_B0I0O0(source)
		sink(2, out)
	}
	{
		source := newSource(24)
		out := TaintStepTest_NetHttpNewRequest(source.(string))
		sink(24, out)
	}
	{
		source := newSource(25)
		out := TaintStepTest_NetHttpNewRequestWithContext(source.(string))
		sink(25, out)
	}
	{
		source := newSource(3)
		out := TaintStepTest_NetHttpReadRequest_B0I0O0(source)
		sink(3, out)
	}
	{
		source := newSource(4)
		out := TaintStepTest_NetHttpReadResponse_B0I0O0(source)
		sink(4, out)
	}
	{
		source := newSource(5)
		out := TaintStepTest_NetHttpSetCookie_B0I0O0(source)
		sink(5, out)
	}
	{
		source := newSource(6)
		out := TaintStepTest_NetHttpHeaderAdd_B0I0O0(source)
		sink(6, out)
	}
	{
		source := newSource(7)
		out := TaintStepTest_NetHttpHeaderAdd_B0I1O0(source)
		sink(7, out)
	}
	{
		source := newSource(8)
		out := TaintStepTest_NetHttpHeaderClone_B0I0O0(source)
		sink(8, out)
	}
	{
		source := newSource(9)
		out := TaintStepTest_NetHttpHeaderGet_B0I0O0(source)
		sink(9, out)
	}
	{
		source := newSource(10)
		out := TaintStepTest_NetHttpHeaderSet_B0I0O0(source)
		sink(10, out)
	}
	{
		source := newSource(11)
		out := TaintStepTest_NetHttpHeaderSet_B0I1O0(source)
		sink(11, out)
	}
	{
		source := newSource(12)
		out := TaintStepTest_NetHttpHeaderValues_B0I0O0(source)
		sink(12, out)
	}
	{
		source := newSource(13)
		out := TaintStepTest_NetHttpHeaderWrite_B0I0O0(source)
		sink(13, out)
	}
	{
		source := newSource(14)
		out := TaintStepTest_NetHttpHeaderWriteSubset_B0I0O0(source)
		sink(14, out)
	}
	{
		source := newSource(15)
		out := TaintStepTest_NetHttpRequestAddCookie_B0I0O0(source)
		sink(15, out)
	}
	{
		source := newSource(16)
		out := TaintStepTest_NetHttpRequestClone_B0I0O0(source)
		sink(16, out)
	}
	{
		source := newSource(17)
		out := TaintStepTest_NetHttpRequestWrite_B0I0O0(source)
		sink(17, out)
	}
	{
		source := newSource(18)
		out := TaintStepTest_NetHttpRequestWriteProxy_B0I0O0(source)
		sink(18, out)
	}
	{
		source := newSource(19)
		out := TaintStepTest_NetHttpResponseWrite_B0I0O0(source)
		sink(19, out)
	}
	{
		source := newSource(20)
		out := TaintStepTest_NetHttpTransportClone_B0I0O0(source)
		sink(20, out)
	}
	{
		source := newSource(21)
		out := TaintStepTest_NetHttpHijackerHijack_B0I0O0(source)
		sink(21, out)
	}
	{
		source := newSource(22)
		out := TaintStepTest_NetHttpHijackerHijack_B0I0O1(source)
		sink(22, out)
	}
	{
		source := newSource(23)
		out := TaintStepTest_NetHttpResponseWriterWrite_B0I0O0(source)
		sink(23, out)
	}
}
