Discover AI-native insights at Testμ Conference‘25

How to use BuildChoiceTable method of prog Package

Best Syzkaller code snippet using prog.BuildChoiceTable

mutation_test.go

Source:mutation_test.go

...163			}164			for _, c := range goal.Calls {165				enabled[c.Meta] = true166			}167			ct := target.BuildChoiceTable(nil, enabled)168			rs := rand.NewSource(0)169			for i := 0; i < 1e5; i++ {170				p1 := p.Clone()171				p1.Mutate(rs, len(goal.Calls), ct, nil)172				data1 := p1.Serialize()173				if bytes.Equal(want, data1) {174					t.Logf("success on iter %v", i)175					return176				}177			}178			t.Fatalf("failed to achieve goal, original:%s\ngoal:%s", test[0], test[1])179		})180	}181}182func TestMutateRaceTable(t *testing.T) {183	target := initTargetTest(t, "test", "64")184	tests := [][1]string{185		{`186mutate0()187mutate2()188`},189		{`190r0 = mutate5(&(0x7f0000000000)="2e2f66696c653000", 0x0)191mutate0()192mutate6(r0, &(0x7f0000000000)="00", 0x1)193mutate1()194`},195		{`196r0 = mutate5(&(0x7f0000000000)="2e2f66696c653000", 0x0)197mutate0()198mutate6(r0, &(0x7f0000000000)="00", 0x1)199mutate1()200`},201		{`202mutate4(&(0x7f0000000000)="11223344", 0x4)203`},204		{`205mutate4(&(0x7f0000000000)="1122", 0x2)206`},207		{`208mutate5(&(0x7f0000001000)="2e2f66696c653000", 0x22c0)209mutate5(&(0x7f0000001000)="2e2f66696c653000", 0x22c0)210`},211		{`212mutate3(&(0x7f0000000000)=[0x1, 0x1], 0x2)213`},214		{`215mutate7(&(0x7f0000000000)='123', 0x3)216`},217		{`218mutate8(0x2)219`},220	}221	for ti, test := range tests {222		test := test223		t.Run(fmt.Sprint(ti), func(t *testing.T) {224			t.Parallel()225			p, err := target.Deserialize([]byte(test[0]))226			if err != nil {227				t.Fatalf("failed to deserialize original program: %v", err)228			}229			enabled := make(map[*Syscall]bool)230			for _, c := range p.Calls {231				enabled[c.Meta] = true232			}233			ct := target.BuildChoiceTable(nil, enabled)234			rs := rand.NewSource(0)235			for ri0 := 0; ri0 <= len(p.Calls)-2; ri0++ {236				for ri1 := ri0 + 1; ri1 <= len(p.Calls)-1; ri1++ {237					indices := [2]int{ri0, ri1}238					for i := 0; i < 10000; i++ {239						p1 := p.Clone()240						newIndices := p1.MutateRace(rs, 30, ct, nil, indices)241						for k := 0; k < 2; k++ {242							if p.Calls[indices[k]].Meta.Name != p1.Calls[newIndices[k]].Meta.Name {243								data1 := p1.Serialize()244								errstr := fmt.Sprintf("failed to adjust index (iter %v)\n", i)245								errstr += fmt.Sprintf("[*] orig (indices %v):\n%s\n", indices, test[0])246								errstr += fmt.Sprintf("[*] mutated (indices %v):\n%s\n", newIndices, string(data1))247								t.Fatalf(errstr)248							}249						}250					}251				}252			}253		})254	}255}256func BenchmarkMutate(b *testing.B) {257	olddebug := debug258	debug = false259	defer func() { debug = olddebug }()260	target, err := GetTarget("linux", "amd64")261	if err != nil {262		b.Fatal(err)263	}264	prios := target.CalculatePriorities(nil)265	ct := target.BuildChoiceTable(prios, nil)266	const progLen = 30267	p := target.Generate(rand.NewSource(0), progLen, nil)268	b.RunParallel(func(pb *testing.PB) {269		rs := rand.NewSource(0)270		for pb.Next() {271			p.Clone().Mutate(rs, progLen, ct, nil)272		}273	})274}275func BenchmarkGenerate(b *testing.B) {276	olddebug := debug277	debug = false278	defer func() { debug = olddebug }()279	target, err := GetTarget("linux", "amd64")280	if err != nil {281		b.Fatal(err)282	}283	prios := target.CalculatePriorities(nil)284	ct := target.BuildChoiceTable(prios, nil)285	const progLen = 30286	b.RunParallel(func(pb *testing.PB) {287		rs := rand.NewSource(0)288		for pb.Next() {289			target.Generate(rs, progLen, ct)290		}291	})292}...

prio_test.go

Source:prio_test.go

...72	var corpus []*Prog73	for i := 0; i < 100; i++ {74		corpus = append(corpus, target.Generate(rs, 10, ct))75	}76	ct0 := target.BuildChoiceTable(corpus, nil)77	ct1 := target.BuildChoiceTable(corpus, nil)78	if !reflect.DeepEqual(ct0.runs, ct1.runs) {79		t.Fatal("non-deterministic ChoiceTable")80	}81	for i := 0; i < iters; i++ {82		seed := rs.Int63()83		call0 := ct0.choose(rand.New(rand.NewSource(seed)), -1)84		call1 := ct1.choose(rand.New(rand.NewSource(seed)), -1)85		if call0 != call1 {86			t.Fatalf("seed=%v iter=%v call=%v/%v", seed, i, call0, call1)87		}88	}89}...

BuildChoiceTable

Using AI Code Generation

1import (2var (3	ErrNoRecord = fmt.Errorf("models: no matching record found")4	ErrInvalidCredentials = fmt.Errorf("models: invalid credentials")5	ErrDuplicateEmail = fmt.Errorf("models: duplicate email")6type TemplateData struct {7	Data        map[string]interface{}8}9type Config struct {

BuildChoiceTable

Using AI Code Generation

1import (2func main() {3	table := xxhash.BuildChoiceTable()4	for i, v := range table {5		fmt.Printf("Index %d, Hash %v6	}7}

BuildChoiceTable

Using AI Code Generation

1import (2func main() {3	conn := redigomock.NewConn()4	choice.BuildChoiceTable(conn)5	conn.Command("HGET", "choice:1", "name").Expect("choice 1")6	conn.Command("HGET", "choice:2", "name").Expect("choice 2")7	conn.Command("HGET", "choice:3", "name").Expect("choice 3")8	conn.Command("HGET", "choice:4", "name").Expect("choice 4")9	conn.Command("HGET", "choice:5", "name").Expect("choice 5")10	conn.Command("HGET", "choice:6", "name").Expect("choice 6")11	conn.Command("HGET", "choice:7", "name").Expect("choice 7")12	conn.Command("HGET", "choice:8", "name").Expect("choice 8")13	conn.Command("HGET", "choice:9", "name").Expect("choice 9")14	conn.Command("HGET", "choice:10", "name").Expect("choice 10")15	conn.Command("HGET", "choice:11", "name").Expect("choice 11")16	conn.Command("HGET", "choice:12", "name").Expect("choice 12")17	conn.Command("HGET", "choice:13", "name").Expect("choice 13")18	conn.Command("HGET", "choice:14", "name").Expect("choice 14")19	conn.Command("HGET", "choice:15", "name").Expect("choice 15")20	conn.Command("HGET", "choice:16", "name").Expect("choice 16")21	conn.Command("HGET", "choice:17", "name").Expect("choice 17")22	conn.Command("HGET", "choice:18", "name").Expect("choice 18")23	conn.Command("HGET", "choice:19", "name").Expect("choice 19")24	conn.Command("HGET", "choice:20", "name").Expect("choice 20")25	conn.Command("HGET", "

BuildChoiceTable

Using AI Code Generation

1import (2func main() {3    golconfig.Load()4    golconfig.Config.Set("gol.prog", "choice_table", "choice_table.json")5    golconfig.Config.Set("gol.prog", "choice_table_key", "choice_table_key.json")6    golconfig.Config.Set("gol.prog", "choice_table_value", "choice_table_value.json")7    golconfig.Config.Set("gol.prog", "choice_table_key_value", "choice_table_key_value.json")8    golconfig.Config.Set("gol.prog", "choice_table_value_key", "choice_table_value_key.json")9    golconfig.Config.Set("gol.prog", "choice_table_key_value_key", "choice_table_key_value_key.json")10    golconfig.Config.Set("gol.prog", "choice_table_value_key_value", "choice_table_value_key_value.json")11    golconfig.Config.Set("gol.prog", "choice_table_key_value_value_key", "choice_table_key_value_value_key.json")12    golconfig.Config.Set("gol.prog", "choice_table_value_key_value_key", "choice_table_value_key_value_key.json")13    golconfig.Config.Set("gol.prog", "choice_table_key_value_key_value", "choice_table_key_value_key_value.json")14    golconfig.Config.Set("gol.prog", "choice_table_value_key_value_value_key", "choice_table_value_key_value_value_key.json")15    golconfig.Config.Set("gol.prog", "choice_table_key_value_value_key_value", "choice_table_key_value_value_key_value.json")16    golconfig.Config.Set("gol.prog", "choice_table_value_key_value_value_key_value", "choice_table_value_key_value_value_key_value.json")17    golconfig.Config.Set("gol.prog", "choice_table_key_value_key_value_value", "choice_table_key_value_key_value_value.json")18    golconfig.Config.Set("gol.prog", "choice_table_value_key_value_key_value_value", "choice_table_value_key_value_key_value_value.json")19    golconfig.Config.Set("gol.prog", "choice_table_key_value_value_key_value_value", "choice_table_key_value_value_key_value_value.json")20    golconfig.Config.Set("gol.prog", "choice_table_value_key

BuildChoiceTable

Using AI Code Generation

1func main() {2    p := prog.NewProgram()3    ct := p.BuildChoiceTable()4    fmt.Println(ct)5}6[{0 0 0} {1 1 0} {2 2 0} {3 3 0} {4 4 0} {5 5 0} {6 6 0} {7 7 0} {8 8 0} {9 9 0} {10 10 0} {11 11 0} {12 12 0} {13 13 0} {14 14 0} {15 15 0} {16 16 0} {17 17 0} {18 18 0} {19 19 0} {20 20 0} {21 21 0} {22 22 0} {23 23 0} {24 24 0} {25 25 0} {26 26 0} {27 27 0} {28 28 0} {29 29 0} {30 30 0} {31 31 0} {32 32 0} {33 33 0} {34 34 0} {35 35 0} {36 36 0} {37 37 0} {38 38 0} {39 39 0} {40 40 0} {41 41 0} {42 42 0} {43 43 0} {44 44 0} {45 45 0} {46 46 0} {47 47 0} {48 48 0} {49 49 0} {50 50 0} {51 51 0} {52 52 0} {53 53 0} {54 54 0} {55 55 0} {56 56 0} {57 57 0} {58 58 0} {59 59 0} {60 60 0} {61 61 0} {62 62 0} {63 63 0} {

BuildChoiceTable

Using AI Code Generation

1import "fmt"2func main() {3    for {4        choice = prog.BuildChoiceTable("Select Option", "Option 1", "Option 2", "Option 3", "Option 4", "Option 5", "Option 6", "Option 7", "Option 8", "Option 9", "Option 10")5        if choice == 0 {6        }7        fmt.Println("You chose option ", choice)8    }9}10import "fmt"11import "os"12import "bufio"13type prog struct {14}15func (p *prog) BuildChoiceTable(title string, options ...string) int {16    fmt.Println(title)17    for i, option := range options {18        fmt.Println(i+1, option)19    }20    fmt.Println("0 Exit")21    fmt.Print("Enter your choice: ")22    reader := bufio.NewReader(os.Stdin)23    choice, err = reader.ReadString('24    if err != nil {25        fmt.Println(err)26        os.Exit(1)27    }28    fmt.Println(choice)29    fmt.Sscanf(choice, "%d", &choice)30}

BuildChoiceTable

Using AI Code Generation

1import (2func main() {3    p.Start()4    var a []string = []string{"a", "b", "c"}5    var b []string = []string{"d", "e", "f"}6    var c []string = []string{"g", "h", "i"}7    var d []string = []string{"j", "k", "l"}8    var e []string = []string{"m", "n", "o"}9    var f []string = []string{"p", "q", "r"}10    var g []string = []string{"s", "t", "u"}11    var h []string = []string{"v", "w", "x"}12    var i []string = []string{"y", "z"}13    var j []string = []string{"0", "1", "2"}14    var k []string = []string{"3", "4", "5"}15    var l []string = []string{"6", "7", "8"}16    var m []string = []string{"9", "10", "11"}17    var n []string = []string{"12", "13", "14"}18    var o []string = []string{"15", "16", "17"}19    var p1 []string = []string{"18", "19", "20"}20    var q []string = []string{"21", "22", "23"}21    var r []string = []string{"24", "25", "26"}22    var s []string = []string{"27", "28", "29"}23    var t []string = []string{"30", "31", "32"}24    var u []string = []string{"33", "34", "35"}25    var v []string = []string{"36", "37", "38"}26    var w []string = []string{"39", "40", "41"}27    var x []string = []string{"42", "43", "44"}28    var y []string = []string{"45", "46", "47"}29    var z []string = []string{"48", "49", "50"}30    var a1 []string = []string{"51", "52", "53"}

BuildChoiceTable

Using AI Code Generation

1import (2func main() {3	fmt.Println("Test case 1")4	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 1)5	fmt.Println("Test case 2")6	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 2)7	fmt.Println("Test case 3")8	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 3)9	fmt.Println("Test case 4")10	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 4)11	fmt.Println("Test case 5")12	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 5)13	fmt.Println("Test case 6")14	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 6)15	fmt.Println("Test case 7")16	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 7)17	fmt.Println("Test case 8")18	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 8)19	fmt.Println("Test case 9")20	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 9)21	fmt.Println("Test case 10")22	prog.BuildChoiceTable([]int{1, 2, 3, 4, 5}, 5, 10)23}

BuildChoiceTable

Using AI Code Generation

1import (2func main() {3	p := prog.NewProg()4	p.AddChoiceTable("table1", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)5	p.AddChoiceTable("table2", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)6	p.AddChoiceTable("table3", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)7	p.AddChoiceTable("table4", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)8	p.AddChoiceTable("table5", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)9	p.AddChoiceTable("table6", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)10	p.AddChoiceTable("table7", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)11	p.AddChoiceTable("table8", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)12	p.AddChoiceTable("table9", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)13	p.AddChoiceTable("table10", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)14	p.AddChoiceTable("table11", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)15	p.AddChoiceTable("table12", 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.