Documentation
¶
Overview ¶
Package transitive is used for testing.
Index ¶
- func AllowedAsmInStdlib() int
- func Asm() int
- func CallGenericFunction() int
- func CallGenericFunctionTransitively() int
- func CallViaStdlib() int
- func Cgo() int
- func ComplicatedExpressionWithOnce() int
- func Indirect() int
- func InterestingOnceDo() int
- func InterestingSort() int
- func InterestingSortSlice() int
- func InterestingSortSliceNested() int
- func InterestingSortSliceStable() int
- func InterestingSortViaFunction() int
- func InterestingSyncPool() int
- func Linkname() int
- func MultipleCapabilities() int
- func Net() int
- func OnceInStruct() int
- func Os() int
- func UninterestingOnceDo() int
- func UninterestingSort() int
- func UninterestingSortSlice() int
- func UninterestingSortSliceNested() int
- func UninterestingSortSliceStable() int
- func UninterestingSyncPool() int
- func Unsafe() int
- func UseBigIntRand() int
- func Utf8() int
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func AllowedAsmInStdlib ¶
func AllowedAsmInStdlib() int
AllowedAsmInStdlib calls an assembly function indirectly. That function is categorized as "safe" in interesting.go.
func CallGenericFunction ¶
func CallGenericFunction() int
CallGenericFunction calls a generic function in another package, using "a" as a type argument.
func CallGenericFunctionTransitively ¶
func CallGenericFunctionTransitively() int
CallGenericFunctionTransitively calls a non-generic function which calls a generic function.
func CallViaStdlib ¶
func CallViaStdlib() int
CallViaStdlib uses a standard library function to call an interesting function by passing it as an argument.
func ComplicatedExpressionWithOnce ¶
func ComplicatedExpressionWithOnce() int
ComplicatedExpressionWithOnce calls Do on a sync.Once using a complicated but side-effect-free expression.
func Indirect ¶
func Indirect() int
Indirect transitively calls a function in os via an interface method call.
func InterestingOnceDo ¶
func InterestingOnceDo() int
InterestingOnceDo calls Do on a sync.Once. The function passed to Do calls an interesting function in the os package.
func InterestingSort ¶
func InterestingSort() int
InterestingSort calls sort.Sort with an argument whose Less method has an interesting capability.
func InterestingSortSlice ¶
func InterestingSortSlice() int
InterestingSortSlice calls sort.Slice with an argument that has an interesting capability.
func InterestingSortSliceNested ¶
func InterestingSortSliceNested() int
InterestingSortSliceNested calls sort.Slice with an argument that itself calls sort.Slice. The inner sort's function argument has an interesting capability.
func InterestingSortSliceStable ¶
func InterestingSortSliceStable() int
InterestingSortSliceStable calls sort.SliceStable with an argument that has an interesting capability.
func InterestingSortViaFunction ¶
func InterestingSortViaFunction() int
InterestingSortViaFunction calls sort.Sort via a function-valued variable, The analysis will not be able to analyze the behavior of the sort, but will report the UNANALYZED capability to inform the user of this.
func InterestingSyncPool ¶
func InterestingSyncPool() int
InterestingSyncPool calls Get on a Pool whose New function has an interesting capability.
func MultipleCapabilities ¶
func MultipleCapabilities() int
MultipleCapabilities transitively calls a function in os, and a cgo function.
func UninterestingOnceDo ¶
func UninterestingOnceDo() int
UninterestingOnceDo calls Do on a sync.Once. The function passed to Do is not interesting.
func UninterestingSort ¶
func UninterestingSort() int
UninterestingSort calls sort.Sort with an argument whose methods have no interesting capabilities.
func UninterestingSortSlice ¶
func UninterestingSortSlice() int
UninterestingSortSlice calls sort.Slice with an argument that has no interesting capabilities.
func UninterestingSortSliceNested ¶
func UninterestingSortSliceNested() int
UninterestingSortSliceNested calls sort.Slice with an argument that itself calls sort.Slice. The inner sort's function argument has no interesting capabilities.
func UninterestingSortSliceStable ¶
func UninterestingSortSliceStable() int
UninterestingSortSliceStable calls sort.SliceStable with an argument that has no interesting capabilities.
func UninterestingSyncPool ¶
func UninterestingSyncPool() int
UninterestingSyncPool calls Get on a Pool whose New function has no interesting capabilities.
func UseBigIntRand ¶
func UseBigIntRand() int
UseBigIntRand calls an interesting function via a random-number generator passed to (*math/big.Int).Rand.
Types ¶
This section is empty.
Source Files