A()
— Mining Input Grammars (Tracking variable assignment locations), Mining Input Grammars (AssignmentTracker)A1_GRAMMAR
— Parsing Inputs (Grammars), Parsing Inputs (Grammars), Parsing Inputs (Recursion), Parsing Inputs (Ambiguity), Parsing Inputs (Background), Parsing Inputs (Exercise 8: First Set of a Nonterminal), Parsing Inputs (Exercise 9: Follow Set of a Nonterminal)A2_GRAMMAR
— Parsing Inputs (Grammars), Parsing Inputs (Grammars), Parsing Inputs (Background)A3_GRAMMAR
— Parsing Inputs (Extracting Trees), Parsing Inputs (Ambiguous Parsing)abs_max()
— Concolic Fuzzing (Absolute Maximum), Symbolic Fuzzing (Get Names and Types of Variables Used)abs_value()
— Concolic Fuzzing (Absolute Maximum), Symbolic Fuzzing (Function Summaries)ACTIONS
— Testing Graphical User Interfaces (Exploring Large Sites), Testing Graphical User Interfaces (Exploring Large Sites), Testing Graphical User Interfaces (Exploring Large Sites)add()
— Parsing Inputs (Columns)addDebug()
— Railroad DiagramsaddTo()
— Railroad Diagramsadd_call()
— Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording Calls)add_calls()
— Control Flow Graph (CFGNode)add_child()
— Control Flow Graph (CFGNode)add_coverage()
— Grammar Coverage (Tracking Grammar Coverage), Probabilistic Grammar Fuzzing (Counting Expansions)add_element()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)add_fragment()
— Greybox Fuzzing with Grammars (Building the Fragment Pool)add_group()
— Testing Configurations (A Grammar Miner for Options and Arguments)add_int_rule()
— Testing Configurations (A Grammar Miner for Options and Arguments)add_metavar_rule()
— Testing Configurations (A Grammar Miner for Options and Arguments)add_new_airport()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers), Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)add_parameter()
— Testing Configurations (A Grammar Miner for Options and Arguments)add_parent()
— Control Flow Graph (CFGNode)add_parents()
— Control Flow Graph (CFGNode)add_result()
— Carving Unit Tests (Part 1: Store function results)add_str_rule()
— Testing Configurations (A Grammar Miner for Options and Arguments)add_to_fragment_pool()
— Greybox Fuzzing with Grammars (Building the Fragment Pool), Greybox Fuzzing with Grammars (Region-based Mutation)add_trace()
— Concolic Fuzzing (Fuzzing with Constraints)add_transitive()
— Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)add_tree()
— Probabilistic Grammar Fuzzing (Counting Expansions), Mining Input Grammars (Recovering Grammars from Derivation Trees)add_tree_coverage()
— Fuzzing with Generators (Generators and Grammar Coverage)add_type_rule()
— Testing Configurations (A Grammar Miner for Options and Arguments)__add__()
— Tracking Information Flow (Concatenation), Concolic Fuzzing (Concatenation of Strings)advance()
— Parsing Inputs (Items), Parsing Inputs (States)AdvancedSymbolicFuzzer
class — Symbolic Fuzzing (Advanced Symbolic Fuzzer), Symbolic Fuzzing (Check Before You Loop), Symbolic Fuzzing (Solving Path Constraints), Symbolic Fuzzing (Generating All Paths), Symbolic Fuzzing (Generating All Paths), Symbolic Fuzzing (Exercise 2: Statically checking if a loop should be unrolled further), Symbolic Fuzzing (Exercise 2: Statically checking if a loop should be unrolled further)AdvMutant
class — Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites)AdvMutator
class — Mutation Analysis (Mutator for Modules and Test Suites)AdvPMIterator
class — Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites)AdvStmtDeletionMutator
class — Mutation Analysis (Mutator for Modules and Test Suites)AFLFastSchedule
class — Greybox Fuzzing (Boosted Greybox Fuzzer)AFLGoSchedule
class — Greybox Fuzzing (Directed Power Schedule)AFLSmartSchedule
class — Greybox Fuzzing with Grammars (Focusing on Valid Seeds)airport_codes_repOK()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)all_terminals()
— Efficient Grammar Fuzzing (Representing Derivation Trees)alternate_reductions()
— Reducing Failure-Inducing Inputs (Alternate Expansions)AlternatingSequence
class — Railroad Diagramsannotate_arg()
— Mining Function Specifications (Annotating Functions with Given Types)annotate_edge()
— Efficient Grammar Fuzzing (Representing Derivation Trees)annotate_function_ast_with_invariants()
— Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)annotate_function_ast_with_types()
— Mining Function Specifications (Annotating Functions with Mined Types)annotate_function_with_invariants()
— Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)annotate_function_with_types()
— Mining Function Specifications (Annotating Functions with Mined Types)annotate_invariants()
— Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)annotate_node()
— Efficient Grammar Fuzzing (Representing Derivation Trees)annotate_types()
— Mining Function Specifications (Annotating Functions with Mined Types)any_possible_expansions()
— Efficient Grammar Fuzzing (Expanding a Tree)append_from_dictionary()
— Greybox Fuzzing (A First Attempt)apply_new_definition()
— Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree)apply_result()
— Fuzzing with Generators (Generating Elements before Expansion)apply_twice()
— Fuzzing with Generators (Functions Called Before Expansion)arc()
— Railroad DiagramsArcCoverage
class — Concolic Fuzzing (Tracking Constraints), Symbolic Fuzzing (Visualizing the Coverage), Symbolic Fuzzing (Exercise 3: Implementing a Concolic Fuzzer)arcs()
— Concolic Fuzzing (Tracking Constraints)arc_8()
— Railroad Diagramsarguments()
— Carving Unit Tests (Recording Calls)ARGUMENTS_SYMBOL
— Testing Configurations (A Grammar Miner for Options and Arguments)arith_expr()
— Mutation Analysis (Exercise 1: Arithmetic Expression Mutators)AR
— Railroad Diagramsascii_chr()
— Fuzzing in the Large (Coarse-Grained Signatures)ASCII_STRING_EBNF_GRAMMAR
— Fuzzing APIs (Strings)ASCII_STRING_GRAMMAR
— Fuzzing APIs (Synopsis), Fuzzing APIs (Strings), Fuzzing APIs (Synopsis)assertEquals()
— Introduction to Software Testing (Automating Test Execution)assignEnergy()
— Greybox Fuzzing (Power Schedules), Greybox Fuzzing (Boosted Greybox Fuzzer), Greybox Fuzzing (Directed Power Schedule), Greybox Fuzzing (Directed Power Schedule), Greybox Fuzzing with Grammars (Focusing on Valid Seeds)assignments()
— Mining Input Grammars (DefineTracker)AssignmentTracker
class — Mining Input Grammars (AssignmentTracker), Mining Input Grammars (AssignmentTracker), Mining Input Grammars (AssignmentTracker)AssignmentVars
class — Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars)at()
— Mining Input Grammars (CallStack)ATTACKS
— Testing Web Applications (Fully Automatic Web Attacks)ATTR_GRAMMAR
— Fuzzing with Generators (Exercise 2: Attribute Grammars)at_dot()
— Parsing Inputs (Items)autopep8()
— Testing Configurations (Autopep8 Setup)average_length_until_full_coverage()
— Grammar Coverage (Tracking Grammar Coverage)B()
— Mining Input Grammars (Tracking variable assignment locations), Mining Input Grammars (AssignmentTracker)back()
— Parsing Inputs (Exercise 5: Leo Parser)bad_fitness()
— Search-Based Fuzzing (Hillclimbing the Example)BetterHTTPRequestHandler
class — Testing Web Applications (Part 1: Silent Failures), Testing Web Applications (Part 2: Sanitized HTML), Testing Web Applications (Part 3: Sanitized SQL), Testing Web Applications (Part 4: A Robust Server)BETTER_HTML_INTERNAL_SERVER_ERROR
— Testing Web Applications (Part 1: Silent Failures)BinaryProgramRunner
class — Fuzzing: Breaking Things with Random Inputs (Runner Classes)binomial()
— Concolic Fuzzing (Binomial Coefficient)BinOpMutator
class — Mutation Analysis (Exercise 1: Arithmetic Expression Mutators), Mutation Analysis (Exercise 1: Arithmetic Expression Mutators)BIRD
— Fuzzing: Breaking Things with Random Inputs (Checking Memory Accesses)BIT_OPS
— Concolic Fuzzing (Exercise 2: Bit Manipulation)BletchleyPark
class — When To Stop Fuzzing (Fuzzing the Enigma), When To Stop Fuzzing (Turing's Observations), When To Stop Fuzzing (Turing's Observations)BODY
— Code Coverage (A Coverage Class), Code Coverage (A Coverage Class), Code Coverage (A Coverage Class)__bool__()
— Concolic Fuzzing (Registering Predicates on Conditionals), Concolic Fuzzing (Using an Integer in a Boolean Context), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)BoostedBletchleyPark
class — When To Stop Fuzzing (Turing's Observations)BranchCoverage
class — Code Coverage (Part 1: Compute branch coverage)BranchTransformer
class — Search-Based Fuzzing (Instrumenting Source Code Automatically)branch_coverage()
— Code Coverage (Part 1: Compute branch coverage)break_max_attempts()
— When To Stop Fuzzing (Turing's Observations)break_message()
— When To Stop Fuzzing (Fuzzing the Enigma), When To Stop Fuzzing (Turing's Observations), When To Stop Fuzzing (Turing's Observations), When To Stop Fuzzing (Turing's Observations)break_n_messages()
— When To Stop Fuzzing (Turing's Observations)BROWSER
— Testing Graphical User Interfaces (Remote Control with Selenium), Testing Graphical User Interfaces (Remote Control with Selenium)buggy_my_sqrt_with_postcondition()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions)C()
— Mining Input Grammars (Tracking variable assignment locations), Mining Input Grammars (AssignmentTracker)CachingReducer
class — Reducing Failure-Inducing Inputs (Delta Debugging)calculate_distance()
— Search-Based Fuzzing (Defining a Search Landscape: Fitness functions)CallCarver
class — Carving Unit Tests (Recording Calls), Carving Unit Tests (Recording Calls)called_functions()
— Carving Unit Tests (Recording Calls)CallGrammarMiner
class — Carving Unit Tests (A Grammar Miner for Calls), Carving Unit Tests (Initial Grammar), Carving Unit Tests (A Grammar from Arguments), Carving Unit Tests (A Grammar from Calls), Carving Unit Tests (A Grammar from all Calls)callgraph()
— Control Flow Graph (Call Graph Helpers)calls()
— Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording Calls)CallStack
class — Mining Input Grammars (CallStack), Mining Input Grammars (CallStack)CallTracker
class — Mining Function Specifications (Tracking Calls), Mining Function Specifications (Tracking Calls), Mining Function Specifications (Tracking Calls), Mining Function Specifications (Tracking Calls), Mining Function Specifications (Tracking Calls)call_string()
— Carving Unit Tests (Serializing Objects)CALL_SYMBOL
— Carving Unit Tests (Initial Grammar)call_value()
— Carving Unit Tests (Serializing Objects)__call__()
— Concolic Fuzzing (A Concolic Tracer)cancel()
— Error Handling (Catching Timeouts)canonical()
— Parsing Inputs (The Packrat Parser for Predicate Expression Grammars)canonical_expr()
— Parsing Inputs (The Packrat Parser for Predicate Expression Grammars)can_be_satisfied()
— Symbolic Fuzzing (Exercise 2: Statically checking if a loop should be unrolled further)capitalize()
— Tracking Information Flow (String methods that do not change origin)Carver
class — Carving Unit Tests (Recording Calls)CFGNode
class — Control Flow Graph (CFGNode)CFLAGS
— Fuzzing in the Large (Collecting Code Coverage)cgi_decode()
— Code Coverage (A CGI Decoder), Search-Based Fuzzing (Testing a More Complex Program), Control Flow Graph (cgi_decode)cgi_decode_traced()
— Code Coverage (Tracing Executions)cgi_encode()
— Testing Web Applications (Fuzzing with Expected Values)CGI_GRAMMAR
— Fuzzing with Grammars (A CGI Grammar), Testing Web Applications (Mining Grammars for Web Pages)CG
— Greybox Fuzzing (Computing Function-Level Distance)CHARACTERS_WITHOUT_QUOTE
— Fuzzing with Grammars (Exercise 1: A JSON Grammar)CHARGE_GRAMMAR
— Fuzzing with Generators (Example: Test a Credit Card System), Fuzzing with Generators (Example: Numeric Ranges)chart_parse()
— Parsing Inputs (The Parsing Algorithm)CHAR_WIDTH
— Railroad Diagramscheck()
— Testing Graphical User Interfaces (Executing User Interface Actions)checkpoint()
— Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer)check_grammar()
— Efficient Grammar Fuzzing (Expanding a Node), Probabilistic Grammar Fuzzing (Expanding by Probability)check_param()
— Mining Input Grammars (Exercise 1: Flattening complex objects)check_time()
— Error Handling (Catching Timeouts)check_triangle()
— Symbolic Fuzzing (Obtaining Path Conditions for Coverage), Control Flow Graph (check_triangle)CHILDREN
— Efficient Grammar Fuzzing (Representing Derivation Trees), Efficient Grammar Fuzzing (Representing Derivation Trees)Choice
class — Railroad Diagramschoose()
— Greybox Fuzzing (Power Schedules)choose_covered_node_expansion()
— Grammar Coverage (Covering Grammar Expansions), Probabilistic Grammar Fuzzing (Exercise 1: Probabilistic Fuzzing with Coverage)choose_node_expansion()
— Efficient Grammar Fuzzing (Expanding a Node), Grammar Coverage (Tracking Grammar Coverage), Grammar Coverage (Covering Grammar Expansions), Grammar Coverage (All Together), Probabilistic Grammar Fuzzing (Expanding by Probability), Probabilistic Grammar Fuzzing (Exercise 1: Probabilistic Fuzzing with Coverage)choose_tree_expansion()
— Efficient Grammar Fuzzing (Expanding a Tree), Fuzzing with Generators (Ordering Expansions)choose_uncovered_node_expansion()
— Grammar Coverage (Covering Grammar Expansions), Probabilistic Grammar Fuzzing (Exercise 1: Probabilistic Fuzzing with Coverage)clean_grammar()
— Mining Input Grammars (Grammar Mining)clear_httpd_messages()
— Testing Web Applications (Logging)clear_origin()
— Tracking Information Flow (A Class for Tracking Character Origins)clear_symbol_table()
— Fuzzing with Generators (Definitions and Uses)clear_taint()
— Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tracking Character Origins)click()
— Testing Graphical User Interfaces (Executing User Interface Actions)clock()
— Timer (Measuring Time)coalesce()
— Parsing Inputs (Ambiguity), Concolic Fuzzing (ConcolicGrammarFuzzer)code_repOK()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)collapse_if_too_large()
— Fuzzing: Breaking Things with Random Inputs (Missing Error Checks)column()
— Tracking Information Flow (Representing Tables), Concolic Fuzzing (Database)Column
class — Parsing Inputs (Columns), Parsing Inputs (Columns), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)combination()
— Concolic Fuzzing (Binomial Coefficient)comma_split()
— Parsing Inputs (An Ad Hoc Parser)COMMENT_CHAR_WIDTH
— Railroad DiagramsComment
class — Railroad Diagramscomplete()
— Parsing Inputs (Completing Processing), Parsing Inputs (Exercise 5: Leo Parser)compute_dominator()
— Control Flow Graph (Supporting Functions)compute_flow()
— Control Flow Graph (Supporting Functions)compute_gcd()
— Control Flow Graph (gcd)concolic()
— Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (Generating Fresh Names)ConcolicDB
class — Concolic Fuzzing (Database)ConcolicGrammarFuzzer
class — Concolic Fuzzing (ConcolicGrammarFuzzer), Concolic Fuzzing (All together), Concolic Fuzzing (All together)ConcolicTracer
class — Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (Translating to the SMT Expression Format), Concolic Fuzzing (Generating Fresh Names), Concolic Fuzzing (Evaluating the Concolic Expressions), Symbolic Fuzzing (Exercise 3: Implementing a Concolic Fuzzer), Symbolic Fuzzing (Exercise 3: Implementing a Concolic Fuzzer)condition()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)CONDITION
— Code Coverage (Exercise 2: Branch Coverage), Code Coverage (Exercise 2: Branch Coverage), Code Coverage (Exercise 2: Branch Coverage)CONSTRAINED_VAR_GRAMMAR
— Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Ordering Expansions), Fuzzing with Generators (Ordering Expansions)construct_callgraph()
— Control Flow Graph (Call Graph Helpers)Context
class — Mining Input Grammars (Context), Mining Input Grammars (Context), Mining Input Grammars (Exercise 1: Flattening complex objects)convert()
— Tracking Information Flow (Inserting Data)convert_ebnf_grammar()
— Fuzzing with Grammars (All Together)convert_ebnf_operators()
— Fuzzing with Grammars (Expanding Operators)convert_ebnf_parentheses()
— Fuzzing with Grammars (Expanding Parenthesized Expressions)copy()
— Parsing Inputs (States), Parsing Inputs (Exercise 5: Leo Parser), Symbolic Fuzzing (Tracking Assignments)COUNTER
— Concolic Fuzzing (Generating Fresh Names)CountingGreyboxFuzzer
class — Greybox Fuzzing (Boosted Greybox Fuzzer)counts()
— Probabilistic Grammar Fuzzing (Counting Expansions)count_expansions()
— Probabilistic Grammar Fuzzing (Counting Expansions)count_nodes()
— Greybox Fuzzing with Grammars (Fragment-Based Mutation)coverage()
— Code Coverage (A Coverage Class), Code Coverage (Part 1: Compute branch coverage), Mutation-Based Fuzzing (Guiding by Coverage)Coverage
class — Code Coverage (A Coverage Class), Mutation Analysis (Structural Coverage Adequacy by Example)cpp_identifiers()
— Testing Configurations (Part 1: Extract Preprocessor Variables)crange()
— Fuzzing with Grammars (Character Classes)crashme()
— Greybox Fuzzing (Runner and Sample Program)crash_if_too_long()
— Fuzzing: Breaking Things with Random Inputs (Buffer Overflows)crawl()
— Testing Web Applications (Crawling User Interfaces)create()
— Tracking Information Flow (String Operators), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Create), Tracking Information Flow (Part 2: Arithmetic expressions), Concolic Fuzzing (A Proxy Class for Booleans), Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)create_assignments()
— Mining Input Grammars (AssignmentTracker), Mining Input Grammars (Scope Tracker), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)create_call_stack()
— Mining Input Grammars (ScopedVars), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)create_candidate()
— Mutation-Based Fuzzing (Multiple Mutations), Greybox Fuzzing (Blackbox, Greybox, and Boosted Greybox Fuzzing), Greybox Fuzzing with Grammars (Fragment-Based Fuzzing), Greybox Fuzzing with Grammars (Integration with Greybox Fuzzing)create_foo_py()
— Testing Configurations (Creating Autopep8 Options)create_instrumented_function()
— Search-Based Fuzzing (Instrumenting Source Code Automatically)create_population()
— Search-Based Fuzzing (Genetic Algorithms)create_table()
— Tracking Information Flow (Representing Tables)create_tracker()
— Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recover Grammar), Mining Input Grammars (Grammar Mining), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)create_tree_miner()
— Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recover Grammar), Mining Input Grammars (Grammar Mining), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)crossover()
— Search-Based Fuzzing (Genetic Algorithms)CSV_GRAMMAR
— Parsing Inputs (Fuzzing a Simple Program)C_SAMPLE_GRAMMAR
— Parsing Inputs (The Earley Parser)C
class — Railroad Diagramsdb_select()
— Concolic Fuzzing (Database)DB
— Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Tracking Untrusted Input), Tracking Information Flow (TaintedDB), Concolic Fuzzing (Database)DB
class — Tracking Information Flow (A Vulnerable Database), Tracking Information Flow (Representing Tables), Tracking Information Flow (Representing Tables), Tracking Information Flow (Representing Tables), Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Selecting Data), Tracking Information Flow (Selecting Data), Tracking Information Flow (Selecting Data), Tracking Information Flow (Inserting Data), Tracking Information Flow (Inserting Data), Tracking Information Flow (Updating Data), Tracking Information Flow (Deleting Data)DEBUG
— Railroad Diagramsdeclarations()
— Symbolic Fuzzing (Get Names and Types of Variables Used)decorator()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)decrange()
— Probabilistic Grammar Fuzzing (Probabilities in Context)default_edge_attr()
— Efficient Grammar Fuzzing (Representing Derivation Trees)default_graph_attr()
— Efficient Grammar Fuzzing (Representing Derivation Trees)default_node_attr()
— Efficient Grammar Fuzzing (Representing Derivation Trees)DEFAULT_ORIGIN
— Tracking Information Flow (A Class for Tracking Character Origins)DEFAULT_STYLE
— Railroad Diagramsdefined_vars()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)DefineTracker
class — Mining Input Grammars (DefineTracker), Mining Input Grammars (DefineTracker), Mining Input Grammars (DefineTracker), Mining Input Grammars (DefineTracker), Mining Input Grammars (DefineTracker), Mining Input Grammars (DefineTracker)define_expr()
— Fuzzing with Grammars (Part 1 (b): Alternative representations)define_ex_grammar()
— Fuzzing with Grammars (Part 1 (b): Alternative representations)define_grammar()
— Fuzzing with Grammars (Part 1 (a): One Single Function)define_id()
— Fuzzing with Generators (Definitions and Uses)define_name()
— Fuzzing with Grammars (Part 1 (b): Alternative representations)define_symbolic_vars()
— Symbolic Fuzzing (Get Names and Types of Variables Used)def_used_nonterminals()
— Fuzzing with Grammars (Checking Grammars)degree_of_validity()
— Greybox Fuzzing with Grammars (Focusing on Valid Seeds)DELAY_AFTER_CHECK
— Testing Graphical User Interfaces (Executing User Interface Actions)DELAY_AFTER_CLICK
— Testing Graphical User Interfaces (Executing User Interface Actions)DELAY_AFTER_FILL
— Testing Graphical User Interfaces (Executing User Interface Actions)DELAY_AFTER_SUBMIT
— Testing Graphical User Interfaces (Executing User Interface Actions)delete_element()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)delete_fragment()
— Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Region-based Mutation)delete_last_character()
— Greybox Fuzzing (A First Attempt)delete_random_character()
— Mutation-Based Fuzzing (Mutating Inputs), Greybox Fuzzing (Mutator and Seed)DELETE
— Testing Web Applications (SQL Injection Attacks)DeltaDebuggingReducer
class — Reducing Failure-Inducing Inputs (Delta Debugging)determineGaps()
— Railroad Diagramsdeterministic_reduction()
— Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)DiagramItem
class — Railroad DiagramsDIAGRAM_CLASS
— Railroad DiagramsDiagram
class — Railroad DiagramsDictMutator
class — Greybox Fuzzing (A First Attempt), Greybox Fuzzing with Grammars (Building a Keyword Dictionary)diff()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites)DIGIT_GRAMMAR
— Fuzzing with Grammars (Representing Grammars in Python)DirectedSchedule
class — Greybox Fuzzing (Directed Power Schedule)DIRECTLY_SELF_REFERRING
— Parsing Inputs (Nullable)display_annotated_tree()
— Efficient Grammar Fuzzing (Representing Derivation Trees)display_httpd_message()
— Testing Web Applications (Logging)display_stack()
— Mining Input Grammars (CallStack)display_tree()
— Efficient Grammar Fuzzing (Representing Derivation Trees)distance_character()
— Search-Based Fuzzing (Branch Distances)dot_escape()
— Efficient Grammar Fuzzing (Representing Derivation Trees)doubleenumerate()
— Railroad Diagramsdown()
— Railroad Diagramsdo_call()
— Fuzzing APIs (Synthesizing Code)do_check()
— Testing Graphical User Interfaces (Executing User Interface Actions)do_click()
— Testing Graphical User Interfaces (Executing User Interface Actions)do_delete()
— Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Deleting Data)do_fill()
— Testing Graphical User Interfaces (Executing User Interface Actions)do_GET()
— Testing Web Applications (Handling HTTP Requests)do_HEAD()
— Testing Web Applications (Other HTTP commands)do_insert()
— Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Inserting Data)do_select()
— Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Selecting Data)do_submit()
— Testing Graphical User Interfaces (Executing User Interface Actions)do_update()
— Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Updating Data)duplicate_context()
— Grammar Coverage (Extending Grammars for Context Coverage Programmatically)_duplicate_context()
— Grammar Coverage (Extending Grammars for Context Coverage Programmatically)e()
— Railroad DiagramsEarleyParser
class — Parsing Inputs (The Parsing Algorithm), Parsing Inputs (The Parsing Algorithm), Parsing Inputs (Predicting States), Parsing Inputs (Scanning Tokens), Parsing Inputs (Completing Processing), Parsing Inputs (Filling the Chart), Parsing Inputs (The Parse Method), Parsing Inputs (The Parse Method), Parsing Inputs (Parsing Paths), Parsing Inputs (Parsing Forests), Parsing Inputs (Extracting Trees), Parsing Inputs (Ambiguous Parsing), Parsing Inputs (Nullable)earley_complete()
— Parsing Inputs (Completing Processing)ebnf_grammar()
— Testing Configurations (Classes for Fuzzing Configuration Options)elapsed_time()
— Timer (Measuring Time)EmbeddedInvariantAnnotator
class — Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)EmbeddedInvariantTransformer
class — Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)End
class — Railroad DiagramsEnigmaMachine
class — When To Stop Fuzzing (Fuzzing the Enigma), When To Stop Fuzzing (Fuzzing the Enigma)enter()
— Mining Input Grammars (CallStack), Mining Input Grammars (Input Stack)__enter__()
— Code Coverage (A Coverage Class), Mutation Analysis (Evaluating Mutations), Concolic Fuzzing (A Concolic Tracer), Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording Calls), Error Handling (Catching Errors), Error Handling (Catching Timeouts), Timer (Measuring Time)EOF
— Fuzzing: Breaking Things with Random Inputs (Missing Error Checks), Fuzzing: Breaking Things with Random Inputs (Missing Error Checks), Fuzzing: Breaking Things with Random Inputs (Missing Error Checks), Parsing Inputs (Exercise 9: Follow Set of a Nonterminal), Parsing Inputs (Exercise 9: Follow Set of a Nonterminal), Parsing Inputs (Exercise 9: Follow Set of a Nonterminal)EPSILON
— Introduction to Software Testing (Automating Test Execution), Parsing Inputs (The Aycock Epsilon Fix), Parsing Inputs (Exercise 8: First Set of a Nonterminal), Mining Function Specifications (Annotating Functions with Pre- and Postconditions)__eq__()
— Parsing Inputs (States), Concolic Fuzzing (Equality between Integers), Concolic Fuzzing (Equality between Strings), Control Flow Graph (CFGNode), Railroad Diagramsescapelines()
— Fuzzing in the Large (Coarse-Grained Signatures)EvalMysteryRunner
class — Reducing Failure-Inducing Inputs (Lexical Reduction vs. Syntactic Rules)evaluate_condition()
— Search-Based Fuzzing (Instrumentation for Atomic Conditions), Search-Based Fuzzing (Instrumentation for Atomic Conditions)evaluate_path()
— Parsing Inputs (Exercise 7: Iterative Earley Parser)evaluate_population()
— Search-Based Fuzzing (Genetic Algorithms)eval_function()
— Fuzzing with Generators (Checking and Repairing Elements after Expansion)eval_with_exception()
— Fuzzing with Generators (Example: Negative Expressions)EvenFasterGrammarFuzzer
class — Efficient Grammar Fuzzing (Exercise 2: Grammar Pre-Compilation)executable()
— Testing Configurations (Classes for Fuzzing Configuration Options)ExerciseGrammarFuzzer
class — Efficient Grammar Fuzzing (Exercise 4: Alternate Random Expansions)__exit__()
— Code Coverage (A Coverage Class), Mutation Analysis (Evaluating Mutations), Concolic Fuzzing (A Concolic Tracer), Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording Calls), Error Handling (Catching Errors), Error Handling (Catching Timeouts), Timer (Measuring Time)expandtabs()
— Tracking Information Flow (Expand Tabs)expand_node()
— Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Closing the Expansion), Efficient Grammar Fuzzing (Node Inflation)expand_node_by_cost()
— Efficient Grammar Fuzzing (Closing the Expansion)expand_node_max_cost()
— Efficient Grammar Fuzzing (Node Inflation)expand_node_min_cost()
— Efficient Grammar Fuzzing (Closing the Expansion)expand_node_randomly()
— Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Exercise 4: Alternate Random Expansions), Parsing Inputs (Fuzzing a Simple Program)expand_tree()
— Efficient Grammar Fuzzing (Three Expansion Phases)expand_tree_once()
— Efficient Grammar Fuzzing (Expanding a Tree), Fuzzing with Generators (Local Checking and Repairing)expand_tree_with_strategy()
— Efficient Grammar Fuzzing (Three Expansion Phases)expand_tstate()
— Parsing Inputs (Exercise 5: Leo Parser)ExpansionCountMiner
class — Probabilistic Grammar Fuzzing (Counting Expansions), Probabilistic Grammar Fuzzing (Counting Expansions), Probabilistic Grammar Fuzzing (Counting Expansions)ExpansionError
class — Fuzzing with Grammars (A Simple Grammar Fuzzer)expansion_cost()
— Efficient Grammar Fuzzing (Closing the Expansion), Tracking Information Flow (TaintedGrammarFuzzer)expansion_coverage()
— Grammar Coverage (Tracking Grammar Coverage)expansion_key()
— Grammar Coverage (Tracking Grammar Coverage)expansion_to_children()
— Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Exercise 1: Caching Method Results)ExpectError
class — Error Handling (Catching Errors)ExpectTimeout
class — Error Handling (Catching Timeouts)explore()
— Symbolic Fuzzing (Stepwise Exploration of Paths)explore_all()
— Testing Graphical User Interfaces (Covering States)expression_clause()
— Tracking Information Flow (Selecting Data)expression_grammar_fn()
— Fuzzing with Grammars (Exercise 4: Defining Grammars as Functions (Advanced))EXPR_EBNF_GRAMMAR
— Fuzzing with Grammars (Grammar Shortcuts)EXPR_GRAMMAR_BNF
— Efficient Grammar Fuzzing (An Insufficient Algorithm)EXPR_GRAMMAR
— Fuzzing with Grammars (Representing Grammars in Python), Grammar Coverage (Covering Grammar Elements), Grammar Coverage (Covering Grammar Expansions), Grammar Coverage (Extending Grammars for Context Coverage Programmatically), Parsing Inputs (The Packrat Parser for Predicate Expression Grammars), Fuzzing with Generators (Example: More Numeric Ranges), Tracking Information Flow (Fuzzing SQL)exp_opt()
— Fuzzing with Grammars (Grammar Extensions)exp_opts()
— Fuzzing with Grammars (Grammar Extensions)exp_order()
— Fuzzing with Generators (Ordering Expansions)exp_post_expansion_function()
— Fuzzing with Generators (A Class for Integrating Constraints)exp_pre_expansion_function()
— Fuzzing with Generators (A Class for Integrating Constraints)exp_prob()
— Probabilistic Grammar Fuzzing (Specifying Probabilities)exp_probabilities()
— Probabilistic Grammar Fuzzing (Distributing Probabilities)exp_string()
— Fuzzing with Grammars (Grammar Extensions)extended_nonterminals()
— Fuzzing with Grammars (Expanding Operators)extend_grammar()
— Fuzzing with Grammars (Extending Grammars)extract_a_tree()
— Parsing Inputs (Extracting Trees), Parsing Inputs (Exercise 7: Iterative Earley Parser)extract_constraints()
— Symbolic Fuzzing (Extracting All Constraints), Symbolic Fuzzing (Check Before You Loop)extract_node()
— Efficient Grammar Fuzzing (Representing Derivation Trees)extract_trees()
— Parsing Inputs (Extracting Trees), Parsing Inputs (Ambiguous Parsing), Parsing Inputs (Exercise 7: Iterative Earley Parser)extract_vars()
— Mining Input Grammars (Context), Mining Input Grammars (Exercise 1: Flattening complex objects)E_GRAMMAR_1
— Parsing Inputs (The Aycock Epsilon Fix), Parsing Inputs (The Aycock Epsilon Fix)E_GRAMMAR
— Parsing Inputs (The Aycock Epsilon Fix)factorial()
— Concolic Fuzzing (Tracking Constraints), Concolic Fuzzing (Binomial Coefficient)fail_test()
— Error Handling (Catching Errors)FAIL
— Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runners), Fuzzing: Breaking Things with Random Inputs (Runners), Reducing Failure-Inducing Inputs (Synopsis), Reducing Failure-Inducing Inputs (Synopsis), Reducing Failure-Inducing Inputs (Synopsis), Reducing Failure-Inducing Inputs (Synopsis), Reducing Failure-Inducing Inputs (Synopsis), Reducing Failure-Inducing Inputs (Synopsis)FasterGrammarFuzzer
class — Efficient Grammar Fuzzing (Exercise 1: Caching Method Results)fib()
— Control Flow Graph (fib)FILE
— Fuzzing: Breaking Things with Random Inputs (Creating Input Files)fill()
— Testing Graphical User Interfaces (Executing User Interface Actions)fill_chart()
— Parsing Inputs (Filling the Chart)FilteredLeoParser
class — Parsing Inputs (Exercise 6: Filtered Earley Parser)FINAL_STATE
— Testing Graphical User Interfaces (Retrieving State Grammars)find()
— Concolic Fuzzing (Finding Substrings)find_alternatives()
— Concolic Fuzzing (ConcolicGrammarFuzzer)find_comma()
— Parsing Inputs (An Ad Hoc Parser)find_contents()
— Testing Configurations (Classes for Fuzzing Configuration Options)find_element()
— Testing Graphical User Interfaces (Executing User Interface Actions)find_executable()
— Testing Configurations (Autopep8 Setup)find_expansion()
— Fuzzing with Generators (Checking and Repairing Elements after Expansion)find_grammar()
— Testing Configurations (Classes for Fuzzing Configuration Options)_find_reachable_nonterminals()
— Fuzzing with Grammars (Checking Grammars)finish()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Evaluating Mutations)finished()
— Parsing Inputs (Items)firstset()
— Parsing Inputs (Exercise 8: First Set of a Nonterminal)firstset_()
— Parsing Inputs (Exercise 8: First Set of a Nonterminal)first_digit_via_log()
— Probabilistic Grammar Fuzzing (The Law of Leading Digits)first_digit_via_string()
— Probabilistic Grammar Fuzzing (The Law of Leading Digits)first_expr()
— Parsing Inputs (Exercise 8: First Set of a Nonterminal)first
and follow
— Parsing Inputs (Exercise 8: First Set of a Nonterminal)fixed_cgi_decode()
— Code Coverage (Exercise 1: Fixing cgi_decode)fixpoint()
— Parsing Inputs (Fixpoint)fix_luhn_checksum()
— Fuzzing with Generators (Functions Called After Expansion)flatten()
— Mining Input Grammars (Exercise 1: Flattening complex objects)flip_random_character()
— Mutation-Based Fuzzing (Mutating Inputs), Greybox Fuzzing (Mutator and Seed), Search-Based Fuzzing (Global Search)FLOAT_BINARY_OPS
— Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)FLOAT_BOOL_OPS
— Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)FLOAT_EBNF_GRAMMAR
— Fuzzing APIs (Floats)float_grammar_with_range()
— Fuzzing APIs (Floats)FLOAT_GRAMMAR
— Fuzzing APIs (Synopsis), Fuzzing APIs (Floats), Fuzzing APIs (Synopsis)fmt()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars)followset()
— Parsing Inputs (Exercise 9: Follow Set of a Nonterminal)followset_()
— Parsing Inputs (Exercise 9: Follow Set of a Nonterminal)follow_link()
— Testing Graphical User Interfaces (Link Element Actions)forest()
— Parsing Inputs (Parsing Forests), Parsing Inputs (Exercise 6: Filtered Earley Parser)format()
— Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad DiagramsFormHTMLParser
class — Testing Web Applications (Searching HTML for Input Fields), Testing Web Applications (Searching HTML for Input Fields), Testing Web Applications (Searching HTML for Input Fields)FragmentMutator
class — Greybox Fuzzing with Grammars (Building the Fragment Pool), Greybox Fuzzing with Grammars (Building the Fragment Pool), Greybox Fuzzing with Grammars (Building the Fragment Pool), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation)fragments()
— Mining Input Grammars (DefineTracker)FRAGMENT_LEN
— Mining Input Grammars (DefineTracker), Mining Input Grammars (DefineTracker), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)fresh_name()
— Concolic Fuzzing (Generating Fresh Names)fsm_diagram()
— Testing Graphical User Interfaces (Retrieving State Grammars)fsm_last_state_symbol()
— Testing Graphical User Interfaces (Exploring User Interfaces)fsm_path()
— Testing Graphical User Interfaces (Exploring User Interfaces)FunctionCoverageRunner
class — Mutation-Based Fuzzing (Guiding by Coverage)FunctionRunner
class — Mutation-Based Fuzzing (Guiding by Coverage)functions_with_invariants()
— Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)functions_with_invariants_ast()
— Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)function_symbol()
— Carving Unit Tests (A Grammar from Calls)function_with_invariants()
— Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)function_with_invariants_ast()
— Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)funct_parser()
— Fuzzing with Grammars (Exercise 4: Defining Grammars as Functions (Advanced))fuzz()
— Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes), Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes), Mutation-Based Fuzzing (Multiple Mutations), Greybox Fuzzing (Blackbox, Greybox, and Boosted Greybox Fuzzing), Efficient Grammar Fuzzing (Putting it all Together), Tracking Information Flow (TaintedGrammarFuzzer), Concolic Fuzzing (Fuzzing with Constraints), Concolic Fuzzing (All together), Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer)fuzzed_url_element()
— Fuzzing APIs (Synthesizing Oracles)fuzzer()
— Fuzzing: Breaking Things with Random Inputs (A Simple Fuzzer)Fuzzer
class — Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes)FUZZINGBOOK_SWAG
— Testing Web Applications (Taking Orders), Testing Web Applications (Taking Orders), Testing Web Applications (Taking Orders)fuzz_tree()
— Efficient Grammar Fuzzing (Putting it all Together), Fuzzing with Generators (Support for Python Generators), Fuzzing with Generators (Checking and Repairing Elements after Expansion), Fuzzing with Generators (Local Checking and Repairing), Fuzzing with Generators (Generators and Grammar Coverage), Tracking Information Flow (TaintedGrammarFuzzer)gcd()
— Mutation Analysis (Evaluating Mutations), Mutation Analysis (The Problem of Equivalent Mutants), Symbolic Fuzzing (Problems with the Simple Fuzzer), Control Flow Graph (gcd)generate_good_tile()
— Control Flow Graph (Example: Maze)generate_maze_code()
— Control Flow Graph (Example: Maze)generate_mutant()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites)generate_print_maze()
— Control Flow Graph (Example: Maze)generate_target_tile()
— Control Flow Graph (Example: Maze)generate_trap_tile()
— Control Flow Graph (Example: Maze)GeneratorGrammarFuzzer
class — Fuzzing with Generators (A Class for Integrating Constraints), Fuzzing with Generators (Generating Elements before Expansion), Fuzzing with Generators (Generating Elements before Expansion), Fuzzing with Generators (Support for Python Generators), Fuzzing with Generators (Checking and Repairing Elements after Expansion), Fuzzing with Generators (Checking and Repairing Elements after Expansion), Fuzzing with Generators (Checking and Repairing Elements after Expansion), Fuzzing with Generators (Checking and Repairing Elements after Expansion), Fuzzing with Generators (Local Checking and Repairing), Fuzzing with Generators (Local Checking and Repairing), Fuzzing with Generators (Local Checking and Repairing), Fuzzing with Generators (Ordering Expansions)genetic_algorithm()
— Search-Based Fuzzing (Genetic Algorithms)gen_cfg()
— Control Flow Graph (PyCFG), Control Flow Graph (Supporting Functions)gen_fn_summary()
— Symbolic Fuzzing (Get Names and Types of Variables Used)__getFunctions__()
— Greybox Fuzzing (Directed Power Schedule)__getitem__()
— Mutation Analysis (Mutator for Modules and Test Suites), Tracking Information Flow (Index), Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (Producing Substrings), Testing Configurations (Part 3: Mine a Configuration Grammar)getPathID()
— Greybox Fuzzing (Boosted Greybox Fuzzer)getTraceHash()
— When To Stop Fuzzing (Trace Coverage)get_all_paths()
— Symbolic Fuzzing (Generating All Possible Paths), Symbolic Fuzzing (Generating All Paths), Symbolic Fuzzing (Exercise 2: Statically checking if a loop should be unrolled further), Symbolic Fuzzing (Exercise 3: Implementing a Concolic Fuzzer)get_alternatives()
— Fuzzing with Grammars (Exercise 4: Defining Grammars as Functions (Advanced))get_annotations()
— Symbolic Fuzzing (The Control Flow Graph)get_arguments()
— Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording Calls)get_callgraph()
— Control Flow Graph (Call Graph Helpers)get_cfg()
— Control Flow Graph (Supporting Functions)get_defining_function()
— Control Flow Graph (PyCFG)get_derivation_tree()
— Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree)get_expression()
— Symbolic Fuzzing (Function Summaries)get_field_values()
— Testing Web Applications (Processing Orders)get_fitness()
— Search-Based Fuzzing (Instrumentation), Search-Based Fuzzing (Fitness Function to Create Valid Hexadecimal Inputs)get_func()
— Control Flow Graph (PyCFG)get_grammar()
— Testing Web Applications (A Fuzzer for Web Forms), Testing Web Applications (Fully Automatic Web Attacks)get_html()
— Testing Web Applications (A Fuzzer for Web Forms)get_mutation_count()
— Mutation Analysis (A Simple Mutator for Functions)get_newpath()
— Concolic Fuzzing (Fuzzing with Constraints)get_next_path()
— Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer), Symbolic Fuzzing (Generating All Paths)get_path_to_root()
— Symbolic Fuzzing (Stepwise Exploration of Paths)get_qualified_name()
— Carving Unit Tests (Recording Calls)get_registry()
— Control Flow Graph (Registry)get_registry_idx()
— Control Flow Graph (Registry), Control Flow Graph (CFGNode)get_replacements()
— Mining Input Grammars (Grammar Mining)get_symbolicparams()
— Symbolic Fuzzing (The Control Flow Graph)get_top()
— Parsing Inputs (Exercise 5: Leo Parser)GET
— Testing Web Applications (Handling HTTP Requests), Testing Web Applications (Other HTTP commands), Testing Web Applications (A Fuzzer for Web Forms)__ge__()
— Concolic Fuzzing (Comparisons between Integers)grammar()
— Parsing Inputs (Ambiguity), Testing Configurations (Classes for Fuzzing Configuration Options)GrammarCoverageFuzzer
class — Grammar Coverage (Determining yet Uncovered Children), Grammar Coverage (Adaptive Lookahead), Grammar Coverage (All Together)GrammarFuzzer
class — Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Expanding a Tree), Efficient Grammar Fuzzing (Expanding a Tree), Efficient Grammar Fuzzing (Expanding a Tree), Efficient Grammar Fuzzing (Closing the Expansion), Efficient Grammar Fuzzing (Closing the Expansion), Efficient Grammar Fuzzing (Closing the Expansion), Efficient Grammar Fuzzing (Closing the Expansion), Efficient Grammar Fuzzing (Node Inflation), Efficient Grammar Fuzzing (Node Inflation), Efficient Grammar Fuzzing (Three Expansion Phases), Efficient Grammar Fuzzing (Putting it all Together)GrammarMiner
class — Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recover Grammar)GrammarReducer
class — Reducing Failure-Inducing Inputs (A Class for Reducing with Grammars), Reducing Failure-Inducing Inputs (Finding Subtrees), Reducing Failure-Inducing Inputs (Alternate Expansions), Reducing Failure-Inducing Inputs (Both Strategies Together), Reducing Failure-Inducing Inputs (The Reduction Strategy), Reducing Failure-Inducing Inputs (The Reduction Strategy), Reducing Failure-Inducing Inputs (The Reduction Strategy), Reducing Failure-Inducing Inputs (The Reduction Strategy), Reducing Failure-Inducing Inputs (A Depth-Oriented Strategy)graph_attr()
— Efficient Grammar Fuzzing (Representing Derivation Trees)GreyboxFuzzer
class — Greybox Fuzzing (Greybox Mutation-based Fuzzer)GreyboxGrammarFuzzer
class — Greybox Fuzzing with Grammars (Integration with Greybox Fuzzing)__gt__()
— Concolic Fuzzing (Comparisons between Integers)GUICoverageFuzzer
class — Testing Graphical User Interfaces (Covering States), Testing Graphical User Interfaces (Covering States)GUIFuzzer
class — Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Exploring User Interfaces)GUIGrammarMiner
class — Testing Graphical User Interfaces (Retrieving Actions), Testing Graphical User Interfaces (Retrieving Actions), Testing Graphical User Interfaces (Input Element Actions), Testing Graphical User Interfaces (Button Element Actions), Testing Graphical User Interfaces (Link Element Actions), Testing Graphical User Interfaces (Link Element Actions), Testing Graphical User Interfaces (Retrieving State Grammars), Testing Graphical User Interfaces (Retrieving State Grammars)GUIRunner
class — Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Executing User Interface Actions)GUI_GRAMMAR
— Testing Graphical User Interfaces (Retrieving State Grammars), Testing Graphical User Interfaces (Retrieving State Grammars)h()
— Railroad Diagramshandle_endtag()
— Testing Web Applications (Searching HTML for Input Fields)handle_order()
— Testing Web Applications (Processing Orders), Testing Web Applications (Part 4: A Robust Server)handle_starttag()
— Testing Web Applications (Searching HTML for Input Fields), Testing Web Applications (Crawling User Interfaces)hang_if_no_space()
— Fuzzing: Breaking Things with Random Inputs (Missing Error Checks)__hash__()
— Parsing Inputs (States)has_origin()
— Tracking Information Flow (A Class for Tracking Character Origins)has_taint()
— Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tracking Character Origins)HEADLESS
— Testing Graphical User Interfaces (Remote Control with Selenium), Testing Graphical User Interfaces (Remote Control with Selenium)HEAD
— Testing Web Applications (Other HTTP commands)heartbeat()
— Fuzzing: Breaking Things with Random Inputs (Information Leaks)hello()
— Mining Function Specifications (Tracking Calls)helper()
— Parsing Inputs (Fixpoint)highlight_node()
— Parsing Inputs (An Ad Hoc Parser)high_charge()
— Fuzzing with Generators (Functions Called Before Expansion)hillclimber()
— Search-Based Fuzzing (Hillclimbing the Example)hillclimb_cgi()
— Search-Based Fuzzing (Hillclimbing Valid Hexadecimal Inputs)hillclimb_cgi_limited()
— Search-Based Fuzzing (Evolutionary Search)hl_node()
— Parsing Inputs (An Ad Hoc Parser)hl_predicate()
— Parsing Inputs (An Ad Hoc Parser)__new__()
— Tracking Information Flow (A Class for Tainted Strings)HorizontalChoice
class — Railroad DiagramsHTMLGrammarMiner
class — Testing Web Applications (Searching HTML for Input Fields), Testing Web Applications (Mining Grammars for Web Pages), Testing Web Applications (Mining Grammars for Web Pages)HTML_INTERNAL_SERVER_ERROR
— Testing Web Applications (Internal Errors)HTML_NOT_FOUND
— Testing Web Applications (Page Not Found)HTML_ORDER_FORM
— Testing Web Applications (Taking Orders)HTML_ORDER_RECEIVED
— Testing Web Applications (Order Confirmation)HTML_TERMS_AND_CONDITIONS
— Testing Web Applications (Terms and Conditions)HTTPD_MESSAGE_QUEUE
— Testing Web Applications (Logging)http_program()
— Mutation-Based Fuzzing (Fuzzing a URL Parser)hundred_inputs()
— Code Coverage ( Coverage of Basic Fuzzing)i()
— Control Flow Graph (CFGNode)identifiers_with_types()
— Symbolic Fuzzing (Check Before You Loop)identifier_grammar_fn()
— Fuzzing with Grammars (Part 2: Extended Grammars)idx()
— Parsing Inputs (States)ignored()
— Mining Input Grammars (Input Stack), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)import_code()
— Mutation Analysis (Mutator for Modules and Test Suites)indent()
— Mining Input Grammars (CallStack)INDIRECTLY_SELF_REFERRING
— Parsing Inputs (Nullable)ineffective_test()
— Mutation Analysis (Why Structural Coverage is Not Enough), Mutation Analysis (Why Structural Coverage is Not Enough)initial_grammar()
— Carving Unit Tests (Initial Grammar)init_db()
— Testing Web Applications (Storing Orders)init_tainted_grammar()
— Tracking Information Flow (TaintedGrammarFuzzer)init_tree()
— Efficient Grammar Fuzzing (Expanding a Node)__init__()
— Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes), Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes), Fuzzing: Breaking Things with Random Inputs (Exercise 2: Run Simulated Troff), Code Coverage (A Coverage Class), Mutation-Based Fuzzing (Multiple Mutations), Mutation-Based Fuzzing (Guiding by Coverage), Greybox Fuzzing (Mutator and Seed), Greybox Fuzzing (Power Schedules), Greybox Fuzzing (Blackbox, Greybox, and Boosted Greybox Fuzzing), Greybox Fuzzing (Boosted Greybox Fuzzer), Greybox Fuzzing (A First Attempt), Greybox Fuzzing (A First Attempt), Greybox Fuzzing (Directed Power Schedule), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Efficient Grammar Fuzzing (Expanding a Node), Efficient Grammar Fuzzing (Exercise 1: Caching Method Results), Efficient Grammar Fuzzing (Exercise 2: Grammar Pre-Compilation), Grammar Coverage (Tracking Grammar Coverage), Parsing Inputs (Fuzzing a Simple Program), Parsing Inputs (Ambiguity), Parsing Inputs (The Packrat Parser for Predicate Expression Grammars), Parsing Inputs (Columns), Parsing Inputs (Items), Parsing Inputs (States), Parsing Inputs (The Parsing Algorithm), Parsing Inputs (Nullable), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 7: Iterative Earley Parser), Probabilistic Grammar Fuzzing (Counting Expansions), Fuzzing with Generators (Local Checking and Repairing), Fuzzing with Generators (Generators and Probabilistic Fuzzing), Fuzzing with Generators (Generators and Grammar Coverage), Greybox Fuzzing with Grammars (Building a Keyword Dictionary), Greybox Fuzzing with Grammars (Building the Fragment Pool), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Integration with Greybox Fuzzing), Greybox Fuzzing with Grammars (Focusing on Valid Seeds), Reducing Failure-Inducing Inputs (Delta Debugging), Reducing Failure-Inducing Inputs (Lexical Reduction vs. Syntactic Rules), Reducing Failure-Inducing Inputs (A Class for Reducing with Grammars), Mining Input Grammars (Context), Mining Input Grammars (Context), Mining Input Grammars (DefineTracker), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (CallStack), Mining Input Grammars (Vars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (AssignmentTracker), Mining Input Grammars (Input Stack), Mining Input Grammars (Scope Tracker), Mining Input Grammars (Exercise 1: Flattening complex objects), Tracking Information Flow (A Vulnerable Database), Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (Taint Aware Fuzzing), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Slices), Tracking Information Flow (TaintedGrammarFuzzer), Tracking Information Flow (Part 1: Creation), Tracking Information Flow (Part 4: Passing taints from integers to strings), Concolic Fuzzing (A Concolic Tracer), Concolic Fuzzing (A Proxy Class for Booleans), Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (An Iterator Class for Strings), Concolic Fuzzing (Fuzzing with Constraints), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (Tracking Assignments), Symbolic Fuzzing (Exercise 3: Implementing a Concolic Fuzzer), Mining Function Specifications (Tracking Calls), Mining Function Specifications (Annotating Functions with Given Types), Mining Function Specifications (Extracting Invariants), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (Classes for Fuzzing Configuration Options), Testing Configurations (Classes for Fuzzing Configuration Options), Carving Unit Tests (Recording Calls), Carving Unit Tests (A Grammar Miner for Calls), Testing Web Applications (Fuzzing with Unexpected Values), Testing Web Applications (Searching HTML for Input Fields), Testing Web Applications (A Fuzzer for Web Forms), Testing Web Applications (Fully Automatic Web Attacks), Testing Web Applications (Fully Automatic Web Attacks), Testing Graphical User Interfaces (Retrieving Actions), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Exploring User Interfaces), Testing Graphical User Interfaces (Covering States), When To Stop Fuzzing (Fuzzing the Enigma), When To Stop Fuzzing (Fuzzing the Enigma), When To Stop Fuzzing (Turing's Observations), Error Handling (Catching Errors), Error Handling (Catching Timeouts), Error Handling (Catching Timeouts), Control Flow Graph (CFGNode), Control Flow Graph (PyCFG), Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad DiagramsInputStack
class — Mining Input Grammars (Input Stack), Mining Input Grammars (Input Stack), Mining Input Grammars (Input Stack), Mining Input Grammars (Input Stack), Mining Input Grammars (Input Stack), Mining Input Grammars (Input Stack)insert_assertions()
— Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)insert_from_dictionary()
— Greybox Fuzzing (A First Attempt), Greybox Fuzzing with Grammars (Building a Keyword Dictionary)insert_into_tree()
— Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree)insert_random_character()
— Mutation-Based Fuzzing (Mutating Inputs), Greybox Fuzzing (Mutator and Seed)INSERT
— Testing Web Applications (Storing Orders), Testing Web Applications (SQL Injection Attacks)instantiate_prop()
— Mining Function Specifications (Instantiating Properties)instantiate_prop_ast()
— Mining Function Specifications (Instantiating Properties)INTERNAL_ALIGNMENT
— Railroad Diagramsinternal_msg2key()
— When To Stop Fuzzing (Fuzzing the Enigma)internal_server_error()
— Testing Web Applications (Internal Errors), Testing Web Applications (Part 1: Silent Failures)INT_BINARY_OPS
— Concolic Fuzzing (Binary Operators for Integers)INT_EBNF_GRAMMAR
— Fuzzing APIs (Integers)int_grammar_with_range()
— Fuzzing APIs (Integers)INT_GRAMMAR
— Fuzzing APIs (Synopsis), Fuzzing APIs (Integers), Fuzzing APIs (Synopsis)INT_UNARY_OPS
— Concolic Fuzzing (Integer Unary Operators)__int__()
— Concolic Fuzzing (A Proxy Class for Integers)InvariantAnnotator
class — Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)invariants()
— Mining Function Specifications (Extracting Invariants)InvariantTracker
class — Mining Function Specifications (Extracting Invariants), Mining Function Specifications (Extracting Invariants)INVARIANT_PROPERTIES
— Mining Function Specifications (Defining Properties)INVENTORY_GRAMMAR_F
— Tracking Information Flow (Fuzzing SQL)INVENTORY_GRAMMAR_NEW
— Concolic Fuzzing (ConcolicGrammarFuzzer)INVENTORY_GRAMMAR
— Tracking Information Flow (Fuzzing SQL)INVENTORY_METHODS
— Mining Input Grammars (A Simple Grammar Miner)INVENTORY
— Mining Input Grammars (A Grammar Challenge), Tracking Information Flow (A Vulnerable Database), Tracking Information Flow (All Methods Together)invert_expansion()
— Probabilistic Grammar Fuzzing (Testing Uncommon Features)invert_probs()
— Probabilistic Grammar Fuzzing (Testing Uncommon Features)__invert__()
— Concolic Fuzzing (Exercise 2: Bit Manipulation)invoker()
— Testing Configurations (Classes for Fuzzing Configuration Options)in_current_record()
— Mining Input Grammars (Input Stack), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)in_scope()
— Mining Input Grammars (Input Stack)IP_ADDRESS_GRAMMAR
— Probabilistic Grammar Fuzzing (Probabilities in Context)IP_ADDRESS_TOKENS
— Probabilistic Grammar Fuzzing (Counting Expansions)isascii()
— Fuzzing in the Large (Coarse-Grained Signatures)is_excluded()
— Greybox Fuzzing with Grammars (Building the Fragment Pool)is_fragment()
— Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)is_input_fragment()
— Mining Input Grammars (DefineTracker), Mining Input Grammars (Scope Tracker)is_nonterminal()
— Fuzzing with Grammars (Some Definitions)is_permutation()
— Introduction to Software Testing (Part 2: Random Inputs)is_sorted()
— Introduction to Software Testing (Part 2: Random Inputs)is_valid_grammar()
— Fuzzing with Grammars (Checking Grammars)is_valid_probabilistic_grammar()
— Probabilistic Grammar Fuzzing (Checking Probabilities)is_valid_url()
— Mutation-Based Fuzzing (Mutating URLs)Item
class — Parsing Inputs (Items), Parsing Inputs (Items)iterate()
— Fuzzing with Generators (Support for Python Generators)IterativeEarleyParser
class — Parsing Inputs (Exercise 7: Iterative Earley Parser), Parsing Inputs (Exercise 7: Iterative Earley Parser), Parsing Inputs (Exercise 7: Iterative Earley Parser), Parsing Inputs (Exercise 7: Iterative Earley Parser)__iter__()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites), Tracking Information Flow (Slices), Concolic Fuzzing (Producing Substrings)join()
— Tracking Information Flow (Expand Tabs)js-vuln-db
— Probabilistic Grammar Fuzzing (Exercise 2: Learning from Past Bugs)JSON_EBNF_GRAMMAR
— Fuzzing with Grammars (Exercise 1: A JSON Grammar)JSON_GRAMMAR
— Fuzzing with Grammars (Exercise 1: A JSON Grammar)LangFuzzer
class — Greybox Fuzzing with Grammars (Fragment-Based Fuzzing)LD_LIBRARY_PATH
— Testing Configurations (Part 1: Getopt Fuzzing)leave()
— Mining Input Grammars (CallStack), Mining Input Grammars (Input Stack)left()
— Railroad Diagramsleft_align()
— Testing Graphical User Interfaces (Retrieving State Grammars)__len__()
— Mining Input Grammars (CallStack), Concolic Fuzzing (An Iterator Class for Strings)LeoParser
class — Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)leo_complete()
— Parsing Inputs (Exercise 5: Leo Parser)__le__()
— Concolic Fuzzing (Comparisons between Integers)linear_to_tree()
— Parsing Inputs (Part 2: The Parser)lineno()
— Control Flow Graph (CFGNode)LinkHTMLParser
class — Testing Web Applications (Crawling User Interfaces)link_functions()
— Control Flow Graph (PyCFG)LIST_EBNF_GRAMMAR
— Fuzzing APIs (Lists)list_grammar()
— Fuzzing APIs (Lists)LIST_GRAMMAR
— Fuzzing APIs (Lists)list_length()
— Mining Function Specifications (Some Examples)ljust()
— Tracking Information Flow (Justify)ll()
— Railroad DiagramsLL1Parser
class — Parsing Inputs (Part 1: A LL(1) Parsing Table), Parsing Inputs (Part 1: A LL(1) Parsing Table), Parsing Inputs (Part 2: The Parser)loc()
— Mining Input Grammars (AssignmentVars)log_call()
— Mining Input Grammars (Assembling a Derivation Tree)log_event()
— Mining Input Grammars (Context)log_message()
— Testing Web Applications (Logging)log_tree()
— Efficient Grammar Fuzzing (Three Expansion Phases)LOG_VALUES
— Search-Based Fuzzing (Hillclimbing the Example)LONG_FOO
— Testing Configurations (Exercise 1: #ifdef Configuration Fuzzing)long_running_test()
— Error Handling (Catching Timeouts)lower()
— Tracking Information Flow (String methods that do not change origin), Concolic Fuzzing (Translating to Upper and Lower Equivalents)LOW
— Tracking Information Flow (String Operators)LR0
— Parsing Inputs (Items)LR_GRAMMAR
— Parsing Inputs (Recursion), Parsing Inputs (Recursion), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)lr_graph()
— Parsing Inputs (An Ad Hoc Parser)lstrip()
— Tracking Information Flow (Strip), Concolic Fuzzing (Remove Space from Ends)LS_EBNF_GRAMMAR
— Grammar Coverage (Exercise 1: Testing ls), Grammar Coverage (Exercise 1: Testing ls)LS_GRAMMAR
— Grammar Coverage (Exercise 1: Testing ls)__lt__()
— Concolic Fuzzing (Comparisons between Integers)luhn_checksum()
— Fuzzing with Generators (Functions Called After Expansion)LUHN_ODD_LOOKUP
— Fuzzing with Generators (Functions Called After Expansion)m()
— Railroad Diagramsmake_float_binary_wrapper()
— Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)make_float_bool_wrapper()
— Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)make_grammar()
— Parsing Inputs (Testing the Parsers)make_int_binary_wrapper()
— Concolic Fuzzing (Binary Operators for Integers), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)make_int_bit_wrapper()
— Concolic Fuzzing (Exercise 2: Bit Manipulation)make_int_unary_wrapper()
— Concolic Fuzzing (Integer Unary Operators)make_int_wrapper()
— Tracking Information Flow (Part 2: Arithmetic expressions)make_rule()
— Parsing Inputs (Testing the Parsers)make_split_wrapper()
— Tracking Information Flow (Splits)make_str_abort_wrapper()
— Tracking Information Flow (Methods yet to be translated), Concolic Fuzzing (Trip Wire)make_str_wrapper()
— Tracking Information Flow (String Operators), Tracking Information Flow (General wrappers)MAX_DEPTH
— Mining Input Grammars (Exercise 1: Flattening complex objects), Mining Input Grammars (Exercise 1: Flattening complex objects), Mining Input Grammars (Exercise 1: Flattening complex objects), Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (Check Before You Loop), Symbolic Fuzzing (Check Before You Loop)_max_expansion_coverage()
— Grammar Coverage (Tracking Grammar Coverage)max_expansion_coverage()
— Grammar Coverage (Tracking Grammar Coverage)max_height()
— Reducing Failure-Inducing Inputs (A Few Helpers)MAX_ITER
— Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (SimpleSymbolicFuzzer)MAX_TRIES
— Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (SimpleSymbolicFuzzer)MAX
— Search-Based Fuzzing (Representing Program Inputs as a Search Problem), Search-Based Fuzzing (Representing Program Inputs as a Search Problem), Search-Based Fuzzing (Hillclimbing the Example), Search-Based Fuzzing (Hillclimbing the Example), Search-Based Fuzzing (Hillclimbing the Example)maze()
— Control Flow Graph (Example: Maze)MazeMutator
class — Greybox Fuzzing (A First Attempt)metavars()
— Mining Function Specifications (Extracting Meta-Variables)method_enter()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)method_exit()
— Mining Input Grammars (AssignmentVars)method_init()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)method_statement()
— Mining Input Grammars (AssignmentVars)mine_arguments_grammar()
— Carving Unit Tests (A Grammar from Arguments)mine_a_element_actions()
— Testing Graphical User Interfaces (Link Element Actions)mine_button_element_actions()
— Testing Graphical User Interfaces (Button Element Actions)mine_call_grammar()
— Carving Unit Tests (A Grammar from all Calls)mine_ebnf_grammar()
— Testing Configurations (A Grammar Miner for Options and Arguments)mine_function_grammar()
— Carving Unit Tests (A Grammar from Calls)mine_grammar()
— Testing Configurations (A Grammar Miner for Options and Arguments), Testing Web Applications (Mining Grammars for Web Pages)mine_input_element_actions()
— Testing Graphical User Interfaces (Input Element Actions)mine_probabilistic_grammar()
— Probabilistic Grammar Fuzzing (Assigning Probabilities)mine_state_actions()
— Testing Graphical User Interfaces (Retrieving Actions)mine_state_grammar()
— Testing Graphical User Interfaces (Retrieving State Grammars)MIN
— Search-Based Fuzzing (Representing Program Inputs as a Search Problem), Search-Based Fuzzing (Representing Program Inputs as a Search Problem), Search-Based Fuzzing (Hillclimbing the Example), Search-Based Fuzzing (Hillclimbing the Example), Search-Based Fuzzing (Hillclimbing the Example)missing_expansion_coverage()
— Grammar Coverage (Tracking Grammar Coverage)__mod__()
— Tracking Information Flow (mod)mseq()
— Mining Input Grammars (Recovering a Derivation Tree)MuBinOpAnalyzer
class — Mutation Analysis (Exercise 1: Arithmetic Expression Mutators)MuFunctionAnalyzer
class — Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Evaluating Mutations), Mutation Analysis (Evaluating Mutations)MultipleChoice
class — Railroad DiagramsMuProgramAnalyzer
class — Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites)mutable_visit()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites)MutantTestRunner
class — Mutation Analysis (Mutator for Modules and Test Suites)Mutant
class — Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Evaluating Mutations), Mutation Analysis (Evaluating Mutations)mutate()
— Mutation-Based Fuzzing (Mutating Inputs), Mutation-Based Fuzzing (Multiple Mutations), Greybox Fuzzing (Mutator and Seed), Search-Based Fuzzing (Genetic Algorithms), Greybox Fuzzing with Grammars (Fragment-Based Mutation)MutationCoverageFuzzer
class — Mutation-Based Fuzzing (Guiding by Coverage)MutationFuzzer
class — Mutation-Based Fuzzing (Multiple Mutations), Mutation-Based Fuzzing (Multiple Mutations), Mutation-Based Fuzzing (Multiple Mutations), Mutation-Based Fuzzing (Multiple Mutations), Greybox Fuzzing (Blackbox, Greybox, and Boosted Greybox Fuzzing)mutation_visit()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Exercise 1: Arithmetic Expression Mutators)mutator_object()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Exercise 1: Arithmetic Expression Mutators)Mutator
class — Greybox Fuzzing (Mutator and Seed), Greybox Fuzzing (Mutator and Seed), Greybox Fuzzing (Mutator and Seed), Greybox Fuzzing (Mutator and Seed), Greybox Fuzzing (Mutator and Seed), Mutation Analysis (A Simple Mutator for Functions)MysteryRunner
class — Reducing Failure-Inducing Inputs (Why Reducing?)my_eval()
— Tracking Information Flow (Selecting Data), Tracking Information Flow (TaintedDB), Tracking Information Flow (TrackingDB)my_fn()
— Concolic Fuzzing (Exercise 2: Bit Manipulation)my_parser()
— Greybox Fuzzing (Complex Example: XMLParser), Greybox Fuzzing with Grammars (Background), When To Stop Fuzzing (Measuring Trace Coverage over Time), When To Stop Fuzzing (Part 2: Population)my_sqrt()
— Introduction to Software Testing (Simple Testing), Parsing Inputs (Fixpoint), Mining Function Specifications (Specifications and Assertions), Mining Function Specifications (Why Generic Error Checking is Not Enough)_my_sqrt()
— Parsing Inputs (Fixpoint)my_sqrt_annotated()
— Mining Function Specifications (Getting Types)my_sqrt_checked()
— Introduction to Software Testing (Run-Time Verification)my_sqrt_fixed()
— Introduction to Software Testing (The Limits of Testing)my_sqrt_with_checked_type_annotations()
— Mining Function Specifications (Runtime Type Checking)my_sqrt_with_invariants()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions)my_sqrt_with_local_types()
— Mining Function Specifications (Exercise 2: Types for Local Variables)my_sqrt_with_log()
— Introduction to Software Testing (Debugging a Function)my_sqrt_with_postcondition()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions)my_sqrt_with_precondition()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions)my_sqrt_with_type_annotations()
— Mining Function Specifications (Specifying and Checking Data Types)my_sqrt_with_union_type()
— Mining Function Specifications (Exercise 1: Union Types)names()
— Symbolic Fuzzing (Get Names and Types of Variables Used)naval_enigma()
— When To Stop Fuzzing (Fuzzing the Enigma)neighbours()
— Search-Based Fuzzing (Representing Program Inputs as a Search Problem)neighbour_strings()
— Search-Based Fuzzing (CGI Decoder as a Search Problem)__neq__()
— Control Flow Graph (CFGNode)_new_child_coverage()
— Grammar Coverage (Determining yet Uncovered Children)new_child_coverage()
— Grammar Coverage (Determining yet Uncovered Children)new_coverages()
— Grammar Coverage (Adaptive Lookahead)new_expansion_cost()
— Efficient Grammar Fuzzing (Exercise 2: Grammar Pre-Compilation)new_gcd()
— Mutation Analysis (The Problem of Equivalent Mutants)new_state_symbol()
— Testing Graphical User Interfaces (Retrieving State Grammars)new_symbol()
— Fuzzing with Grammars (Creating New Symbols)new_symbol_cost()
— Efficient Grammar Fuzzing (Exercise 2: Grammar Pre-Compilation)__new__()
— Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Part 1: Creation), Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Railroad Diagrams, Railroad Diagrams, Railroad Diagrams__next__()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites), Tracking Information Flow (Slices), Concolic Fuzzing (An Iterator Class for Strings)__ne__()
— Concolic Fuzzing (Equality between Integers), Railroad Diagramsnonterminals()
— Fuzzing with Grammars (Some Definitions)NonTerminal
class — Railroad Diagramsnormalize()
— Search-Based Fuzzing (Fitness Function to Create Valid Hexadecimal Inputs)normalizedEnergy()
— Greybox Fuzzing (Power Schedules)not_found()
— Testing Web Applications (Page Not Found)__not__()
— Concolic Fuzzing (Negation of Encoded formula)no_8bit()
— Fuzzing: Breaking Things with Random Inputs (Exercise 1: Simulate Troff)no_backslash_d()
— Fuzzing: Breaking Things with Random Inputs (Exercise 1: Simulate Troff)no_dot()
— Fuzzing: Breaking Things with Random Inputs (Exercise 1: Simulate Troff)nt_var()
— Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree)nullable()
— Parsing Inputs (Nullable)nullable_()
— Parsing Inputs (Nullable)nullable_expr()
— Parsing Inputs (Nullable)number_of_nodes()
— Reducing Failure-Inducing Inputs (A Few Helpers)OBJECT
— Code Coverage (A Coverage Class)offsets_from_entry()
— Symbolic Fuzzing (Exercise 3: Implementing a Concolic Fuzzer)OneOrMore
class — Railroad Diagramson_annassign()
— Control Flow Graph (PyCFG)on_assign()
— Control Flow Graph (PyCFG)on_augassign()
— Control Flow Graph (PyCFG)on_binop()
— Control Flow Graph (PyCFG)on_break()
— Control Flow Graph (PyCFG)on_call()
— Mining Input Grammars (AssignmentTracker), Control Flow Graph (PyCFG)on_compare()
— Control Flow Graph (PyCFG)on_continue()
— Control Flow Graph (PyCFG)on_event()
— Mining Input Grammars (Context)on_exception()
— Mining Input Grammars (AssignmentTracker)on_expr()
— Control Flow Graph (PyCFG)on_for()
— Control Flow Graph (PyCFG)on_functiondef()
— Control Flow Graph (PyCFG)on_if()
— Control Flow Graph (PyCFG)on_line()
— Mining Input Grammars (AssignmentTracker)on_module()
— Control Flow Graph (PyCFG)on_pass()
— Control Flow Graph (PyCFG)on_return()
— Mining Input Grammars (AssignmentTracker), Control Flow Graph (PyCFG)on_unaryop()
— Control Flow Graph (PyCFG)on_while()
— Control Flow Graph (PyCFG)Optional()
— Railroad DiagramsOptionalSequence
class — Railroad DiagramsOptionFuzzer
class — Testing Configurations (Classes for Fuzzing Configuration Options), Testing Configurations (Classes for Fuzzing Configuration Options)OptionGrammarMiner
class — Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Testing Configurations (A Grammar Miner for Options and Arguments)OptionRunner
class — Testing Configurations (Classes for Fuzzing Configuration Options), Testing Configurations (Classes for Fuzzing Configuration Options), Testing Configurations (Classes for Fuzzing Configuration Options), Testing Configurations (Classes for Fuzzing Configuration Options)options()
— Mining Input Grammars (Context), Mining Input Grammars (DefineTracker), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (CallStack), Mining Input Grammars (AssignmentTracker), Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (Advanced Symbolic Fuzzer)OPTION_SYMBOL
— Testing Configurations (A Grammar Miner for Options and Arguments)opts()
— Fuzzing with Grammars (Grammar Extensions)opts_used()
— Fuzzing with Grammars (Checking Grammars)oracle()
— Mutation Analysis (Evaluating Mutations)orders_db_is_empty()
— Testing Web Applications (Fully Automatic Web Attacks)ORDERS_DB
— Testing Web Applications (Storing Orders)ORDER_GRAMMAR_WITH_HTML_INJECTION
— Testing Web Applications (HTML Injection Attacks)ORDER_GRAMMAR_WITH_SQL_INJECTION
— Testing Web Applications (SQL Injection Attacks)ORDER_GRAMMAR_WITH_XSS_INJECTION
— Testing Web Applications (Cross-Site Scripting Attacks)ORDER_GRAMMAR
— Testing Web Applications (Fuzzing with Expected Values), Testing Web Applications (Fuzzing with Expected Values)ostr_iterator
class — Tracking Information Flow (Slices)ostr
class — Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Create), Tracking Information Flow (Index), Tracking Information Flow (Slices), Tracking Information Flow (Concatenation), Tracking Information Flow (Concatenation), Tracking Information Flow (Extract Origin String), Tracking Information Flow (Replace), Tracking Information Flow (Split), Tracking Information Flow (Strip), Tracking Information Flow (Expand Tabs), Tracking Information Flow (Expand Tabs), Tracking Information Flow (Partitions), Tracking Information Flow (Justify), Tracking Information Flow (Justify), Tracking Information Flow (mod), Tracking Information Flow (mod), Tracking Information Flow (String methods that do not change origin)P1
— Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree)PackratParser
class — Parsing Inputs (Exercise 1: An Alternative Packrat)pairwise()
— Testing Configurations (Combinatorial Testing)parameters()
— Mining Input Grammars (Context), Mining Input Grammars (Exercise 1: Flattening complex objects)params()
— Mining Function Specifications (Converting Mined Invariants to Annotations)parenthesized_expressions()
— Fuzzing with Grammars (Expanding Parenthesized Expressions)parsable()
— Greybox Fuzzing with Grammars (Focusing on Valid Seeds)parse()
— Parsing Inputs (Ambiguity), Parsing Inputs (The Parse Method), Parsing Inputs (Exercise 1: An Alternative Packrat), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Part 2: The Parser), Reducing Failure-Inducing Inputs (The Reduction Strategy), Control Flow Graph (PyCFG)parseCSSGrammar()
— Railroad DiagramsParseInterrupt
class — Testing Configurations (A Grammar Miner for Options and Arguments)Parser
class — Parsing Inputs (Ambiguity), Parsing Inputs (The Packrat Parser for Predicate Expression Grammars)parse_csv()
— Parsing Inputs (An Ad Hoc Parser), Parsing Inputs (An Ad Hoc Parser)parse_forest()
— Parsing Inputs (Parsing Forests), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 6: Filtered Earley Parser), Parsing Inputs (Exercise 7: Iterative Earley Parser)parse_helper()
— Parsing Inputs (Part 2: The Parser)parse_paths()
— Parsing Inputs (Parsing Paths), Parsing Inputs (Exercise 7: Iterative Earley Parser)parse_prefix()
— Parsing Inputs (Ambiguity), Parsing Inputs (The Parser), Parsing Inputs (The Parse Method), Parsing Inputs (Exercise 1: An Alternative Packrat)parse_quote()
— Parsing Inputs (An Ad Hoc Parser)parse_sexp()
— Concolic Fuzzing (Using the Command Line)parse_table()
— Parsing Inputs (Part 1: A LL(1) Parsing Table), Parsing Inputs (Part 1: A LL(1) Parsing Table)parse_type()
— Mining Function Specifications (Annotating Functions with Given Types)partition()
— Tracking Information Flow (Partitions)PASS
— Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runners), Fuzzing: Breaking Things with Random Inputs (Runners), Fuzzing: Breaking Things with Random Inputs (Runners)paths()
— Parsing Inputs (Parsing Paths)Path
class — Railroad DiagramsPEG1
— Parsing Inputs (Parsing Expression Grammars)PEG2
— Parsing Inputs (Parsing Expression Grammars)PEGParser
class — Parsing Inputs (The Parser), Parsing Inputs (Unify Key), Parsing Inputs (Unify Rule), Parsing Inputs (Unify Rule)PEG_SURPRISE
— Parsing Inputs ( Problems with PEG)permutation()
— Concolic Fuzzing (Binomial Coefficient)PICKED_US_PHONE_GRAMMAR
— Fuzzing with Generators (Synopsis)pick_area_code()
— Fuzzing with Generators (Synopsis)plotting_hillclimber()
— Search-Based Fuzzing (Hillclimbing the Example)PMIterator
class — Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions)PNode
class — Symbolic Fuzzing (Tracking Assignments), Symbolic Fuzzing (Tracking Assignments), Symbolic Fuzzing (Stepwise Exploration of Paths), Symbolic Fuzzing (Stepwise Exploration of Paths), Symbolic Fuzzing (Stepwise Exploration of Paths)PooledGrammarFuzzer
class — Parsing Inputs (Fuzzing a Simple Program)population_branch_coverage()
— Code Coverage (Part 2: Comparing statement coverage and branch coverage)population_coverage()
— Code Coverage ( Coverage of Basic Fuzzing)population_stmt_coverage()
— When To Stop Fuzzing (Part 1: Population Coverage)population_trace_coverage()
— When To Stop Fuzzing (Measuring Trace Coverage over Time)possible_combinations()
— Reducing Failure-Inducing Inputs (A Few Helpers)possible_expansions()
— Efficient Grammar Fuzzing (Expanding a Tree)postcondition()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)postconditions()
— Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)POST
— Testing Web Applications (A Fuzzer for Web Forms)__pos__()
— Concolic Fuzzing (A Proxy Class for Integers)power()
— Carving Unit Tests (From Calls to Grammars)PowerSchedule
class — Greybox Fuzzing (Power Schedules)POWER_GRAMMAR
— Carving Unit Tests (From Calls to Grammars), Carving Unit Tests (From Calls to Grammars)precompute_costs()
— Efficient Grammar Fuzzing (Exercise 2: Grammar Pre-Compilation)precondition()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)preconditions()
— Mining Function Specifications (Converting Mined Invariants to Annotations), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)PreconditionTransformer
class — Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)predict()
— Parsing Inputs (Predicting States), Parsing Inputs (Nullable), Parsing Inputs (Part 1: A LL(1) Parsing Table)prefix_vars()
— Symbolic Fuzzing (Function Summaries)pretty_invariants()
— Mining Function Specifications (Extracting Invariants)PrintRunner
class — Fuzzing: Breaking Things with Random Inputs (Runner Classes)print_httpd_messages()
— Testing Web Applications (Logging)print_maze()
— Control Flow Graph (Example: Maze)print_more_stats()
— Greybox Fuzzing with Grammars (Region-Based Fuzzing)print_stats()
— Greybox Fuzzing (A First Attempt), Greybox Fuzzing with Grammars (Fragment-Based Fuzzing)print_sum()
— Mining Function Specifications (Some Examples)print_url()
— Testing Web Applications (Direct Browser Access)ProbabilisticGeneratorGrammarCoverageFuzzer
class — Fuzzing with Generators (Generators and Grammar Coverage), Fuzzing with Generators (Generators and Grammar Coverage), Fuzzing with Generators (Generators and Grammar Coverage)ProbabilisticGeneratorGrammarFuzzer
class — Fuzzing with Generators (Generators and Probabilistic Fuzzing)ProbabilisticGrammarCoverageFuzzer
class — Probabilistic Grammar Fuzzing (Exercise 1: Probabilistic Fuzzing with Coverage)ProbabilisticGrammarFuzzer
class — Probabilistic Grammar Fuzzing (Expanding by Probability), Probabilistic Grammar Fuzzing (Expanding by Probability)ProbabilisticGrammarMiner
class — Probabilistic Grammar Fuzzing (Assigning Probabilities), Probabilistic Grammar Fuzzing (Assigning Probabilities)PROBABILISTIC_EXPR_GRAMMAR
— Probabilistic Grammar Fuzzing (Specifying Probabilities)PROBABILISTIC_US_PHONE_GRAMMAR
— Probabilistic Grammar Fuzzing (Synopsis)prob_distribution()
— Probabilistic Grammar Fuzzing (Distributing Probabilities)prob_leading_digit()
— Probabilistic Grammar Fuzzing (The Law of Leading Digits)process()
— Mining Input Grammars (DefineTracker), Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (Generating All Possible Paths)process_arg()
— Testing Configurations (A Grammar Miner for Options and Arguments)process_argument()
— Testing Configurations (A Grammar Miner for Options and Arguments)process_car()
— Parsing Inputs (Fuzzing a Simple Program), Mining Input Grammars (Exercise 1: Flattening complex objects)process_chosen_children()
— Efficient Grammar Fuzzing (Expanding a Node), Fuzzing with Generators (Generating Elements before Expansion)process_inventory()
— Parsing Inputs (Fuzzing a Simple Program), Mining Input Grammars (Exercise 1: Flattening complex objects)process_numbers()
— Testing Configurations (Options in Python)PROCESS_NUMBERS_EBNF_GRAMMAR
— Testing Configurations (A Grammar for Configurations), Testing Configurations (A Grammar for Configurations)PROCESS_NUMBERS_GRAMMAR
— Testing Configurations (A Grammar for Configurations)process_van()
— Parsing Inputs (Fuzzing a Simple Program), Mining Input Grammars (Exercise 1: Flattening complex objects)process_vehicle()
— Parsing Inputs (Fuzzing a Simple Program), Mining Input Grammars (Exercise 1: Flattening complex objects)prod_line_grammar()
— Parsing Inputs (Testing the Parsers)ProgramRunner
class — Fuzzing: Breaking Things with Random Inputs (Runner Classes)prop_function()
— Mining Function Specifications (Evaluating Properties)prop_function_text()
— Mining Function Specifications (Evaluating Properties)proxy()
— Tracking Information Flow (String Operators), Tracking Information Flow (Splits), Tracking Information Flow (General wrappers), Tracking Information Flow (Methods yet to be translated), Tracking Information Flow (Part 2: Arithmetic expressions), Concolic Fuzzing (Binary Operators for Integers), Concolic Fuzzing (Integer Unary Operators), Concolic Fuzzing (Trip Wire), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Concolic Fuzzing (Exercise 2: Bit Manipulation)prune_tokens()
— Concolic Fuzzing (All together)prune_tree()
— Parsing Inputs (Ambiguity), Concolic Fuzzing (ConcolicGrammarFuzzer)PUBLIC
— Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins)PyCFG
class — Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG), Control Flow Graph (PyCFG)Q0
— When To Stop Fuzzing (Part 3: Compute and Evaluate Extrapolator)Q1
— When To Stop Fuzzing (Part 2: Compute Estimate)Q2
— When To Stop Fuzzing (Part 2: Compute Estimate)quadratic_solver()
— Introduction to Software Testing (Exercise 2: Quadratic Solver)quadratic_solver_fixed()
— Introduction to Software Testing (Part 2: Fix the problem)quad_solver()
— Control Flow Graph (quad_solver)qualified()
— Mining Input Grammars (Context), Mining Input Grammars (Exercise 1: Flattening complex objects)QUERY_GRAMMAR
— Testing Web Applications (Mining Grammars for Web Pages)__radd__()
— Tracking Information Flow (String Operators), Tracking Information Flow (Concatenation), Concolic Fuzzing (Concatenation of Strings)RandomFuzzer
class — Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes)randomized_hillclimb()
— Search-Based Fuzzing (Global Search)random_list()
— Introduction to Software Testing (Part 2: Random Inputs)random_string()
— Search-Based Fuzzing (Hillclimbing Valid Hexadecimal Inputs)random_unicode_string()
— Search-Based Fuzzing (Evolutionary Search)reachable_nonterminals()
— Fuzzing with Grammars (Checking Grammars)readable()
— Mining Input Grammars (Recovering Grammars from Derivation Trees)readable_rule()
— Mining Input Grammars (Recovering Grammars from Derivation Trees)read_gcov_coverage()
— Code Coverage (Getting Coverage from External Programs)rearrange()
— Parsing Inputs (Exercise 5: Leo Parser)recover_grammar()
— Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Grammar Mining)recover_grammar_with_taints()
— Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)RECURSION_GRAMMAR
— Parsing Inputs (Exercise 6: Filtered Earley Parser)recursive_delete()
— Greybox Fuzzing with Grammars (Fragment-Based Mutation)recursive_swap()
— Greybox Fuzzing with Grammars (Fragment-Based Mutation)RedBlackTree
class — Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)reduce()
— Reducing Failure-Inducing Inputs (Delta Debugging), Reducing Failure-Inducing Inputs (Delta Debugging), Reducing Failure-Inducing Inputs (The Reduction Strategy)Reducer
class — Reducing Failure-Inducing Inputs (Delta Debugging)reduce_subtree()
— Reducing Failure-Inducing Inputs (The Reduction Strategy)reduce_tree()
— Reducing Failure-Inducing Inputs (The Reduction Strategy), Reducing Failure-Inducing Inputs (A Depth-Oriented Strategy)RegionMutator
class — Greybox Fuzzing with Grammars (Region-based Mutation), Greybox Fuzzing with Grammars (Region-based Mutation), Greybox Fuzzing with Grammars (Region-based Mutation)register()
— Mutation Analysis (A Simple Mutator for Functions)register_event()
— Mining Input Grammars (AssignmentVars)register_node()
— Control Flow Graph (Registry), Control Flow Graph (CFGNode)REGISTRY_IDX
— Control Flow Graph (Registry), Control Flow Graph (Registry), Control Flow Graph (CFGNode), Control Flow Graph (CFGNode)REGISTRY
— Control Flow Graph (Registry), Control Flow Graph (Registry), Control Flow Graph (CFGNode), Control Flow Graph (CFGNode)remove_first_char()
— Mining Function Specifications (Exercise 3: Verbose Invariant Checkers), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)rename_variables()
— Symbolic Fuzzing (Dealing with Reassingments)replace()
— Tracking Information Flow (Replace)replace_symbol()
— Testing Graphical User Interfaces (Exploring User Interfaces)repOK()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)__repr__()
— Mining Input Grammars (Context), Mining Input Grammars (CallStack), Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Part 3: Passing taints from integers to strings), Symbolic Fuzzing (Tracking Assignments), Control Flow Graph (CFGNode), Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad Diagrams, Railroad DiagramsREQUIRED_FIELDS
— Testing Web Applications (Part 4: A Robust Server)__req__()
— Concolic Fuzzing (Equality between Integers), Concolic Fuzzing (Equality between Strings)reset()
— Mutation-Based Fuzzing (Multiple Mutations), Mutation-Based Fuzzing (Guiding by Coverage), Greybox Fuzzing (Blackbox, Greybox, and Boosted Greybox Fuzzing), Greybox Fuzzing (Greybox Mutation-based Fuzzer), Greybox Fuzzing (Boosted Greybox Fuzzer), Probabilistic Grammar Fuzzing (Counting Expansions), Reducing Failure-Inducing Inputs (Delta Debugging), Reducing Failure-Inducing Inputs (Delta Debugging), Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording Calls), Carving Unit Tests (Part 1: Store function results), Testing Web Applications (Searching HTML for Input Fields), Testing Web Applications (Crawling User Interfaces), When To Stop Fuzzing (Fuzzing the Enigma)reset_coverage()
— Grammar Coverage (Tracking Grammar Coverage)reset_generators()
— Fuzzing with Generators (Support for Python Generators)reset_registry()
— Control Flow Graph (Registry), Control Flow Graph (CFGNode)restart()
— Testing Graphical User Interfaces (Exploring User Interfaces)RestartExpansionException
class — Fuzzing with Generators (Local Checking and Repairing)restarting_hillclimber()
— Search-Based Fuzzing (Hillclimbing the Example)restart_expansion()
— Fuzzing with Generators (Checking and Repairing Elements after Expansion), Fuzzing with Generators (Local Checking and Repairing), Fuzzing with Generators (Generators and Grammar Coverage)result()
— Carving Unit Tests (Part 2: Access results)ResultCarver
class — Carving Unit Tests (Exercises), Carving Unit Tests (Part 1: Store function results), Carving Unit Tests (Part 2: Access results)RETURN_VALUE
— Mining Function Specifications (Extracting Invariants)RE_EXTENDED_NONTERMINAL
— Fuzzing with Grammars (Expanding Operators)RE_NONTERMINAL
— Fuzzing with Grammars (Some Definitions)RE_PARENTHESIZED_EXPR
— Fuzzing with Grammars (Expanding Parenthesized Expressions)right()
— Railroad DiagramsRISKY_NUMBERS
— Probabilistic Grammar Fuzzing (Exercise 2: Learning from Past Bugs), Probabilistic Grammar Fuzzing (Exercise 2: Learning from Past Bugs)rjust()
— Tracking Information Flow (Justify)__rmod__()
— Tracking Information Flow (mod)rootIsBlack()
— Fuzzing: Breaking Things with Random Inputs (Program-Specific Checkers)roots()
— Symbolic Fuzzing (Example: Roots of a Quadratic Equation)roots2()
— Symbolic Fuzzing ( Roots - Check Before Divide)roots3()
— Symbolic Fuzzing ( Roots - Eliminating the Zero Division Error)round10()
— Concolic Fuzzing (Round)rpartition()
— Tracking Information Flow (Partitions)RR_GRAMMAR2
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR3
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR4
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR5
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR6
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR7
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR8
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR9
— Parsing Inputs (Exercise 5: Leo Parser)RR_GRAMMAR
— Parsing Inputs (Recursion), Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)rsplit()
— Tracking Information Flow (Split)rstrip()
— Tracking Information Flow (Strip), Concolic Fuzzing (Remove Space from Ends)rules()
— Parsing Inputs (Nullable), Parsing Inputs (Part 1: A LL(1) Parsing Table)run()
— Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes), Fuzzing: Breaking Things with Random Inputs (Exercise 2: Run Simulated Troff), Mutation-Based Fuzzing (Guiding by Coverage), Mutation-Based Fuzzing (Guiding by Coverage), Greybox Fuzzing (Greybox Mutation-based Fuzzer), Greybox Fuzzing (Boosted Greybox Fuzzer), Reducing Failure-Inducing Inputs (Why Reducing?), Reducing Failure-Inducing Inputs (Lexical Reduction vs. Syntactic Rules), Reducing Failure-Inducing Inputs (Synopsis), Testing Configurations (Classes for Fuzzing Configuration Options), Testing Web Applications (Fuzzing with Unexpected Values), Testing Graphical User Interfaces (Executing User Interface Actions), Testing Graphical User Interfaces (Exploring User Interfaces), When To Stop Fuzzing (Fuzzing the Enigma)Runner
class — Fuzzing: Breaking Things with Random Inputs (Runner Classes)runs()
— Fuzzing: Breaking Things with Random Inputs (Fuzzer Classes)runTest()
— Mutation Analysis (Mutator for Modules and Test Suites)run_function()
— Mutation-Based Fuzzing (Guiding by Coverage), Mutation-Based Fuzzing (Guiding by Coverage)run_fuzzmanager()
— Fuzzing in the Large (Starting the Server)run_fuzzmanager_forever()
— Fuzzing in the Large (Starting the Server)run_generator()
— Fuzzing with Generators (Support for Python Generators)run_httpd_forever()
— Testing Web Applications (Running the Server)run_post_functions()
— Fuzzing with Generators (Checking and Repairing Elements after Expansion)run_post_functions_locally()
— Fuzzing with Generators (Local Checking and Repairing)run_process()
— Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runner Classes)sample_db()
— Tracking Information Flow (Representing Tables)SAMPLE_GRAMMAR
— Parsing Inputs (The Earley Parser)sanitize()
— Tracking Information Flow (Tracking Untrusted Input)scan()
— Parsing Inputs (Scanning Tokens)ScopedGrammarMiner
class — Mining Input Grammars (Grammar Mining), Mining Input Grammars (Grammar Mining), Mining Input Grammars (Grammar Mining), Mining Input Grammars (Grammar Mining)ScopedVars
class — Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars), Mining Input Grammars (ScopedVars)ScopeTracker
class — Mining Input Grammars (Scope Tracker), Mining Input Grammars (Scope Tracker)ScopeTreeMiner
class — Mining Input Grammars (Recovering a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree)score()
— Mutation Analysis (Evaluating Mutations), Mutation Analysis (Mutator for Modules and Test Suites)SECRET_ORIGIN
— Tracking Information Flow (Privacy Leaks Revisited), Tracking Information Flow (Privacy Leaks Revisited), Tracking Information Flow (Privacy Leaks Revisited)SECRET
— Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins)Seed
class — Greybox Fuzzing (Power Schedules)selection()
— Search-Based Fuzzing (Genetic Algorithms)send_back()
— Tracking Information Flow (Preventing Privacy Leaks)send_order_form()
— Testing Web Applications (Order Form)send_order_received()
— Testing Web Applications (Processing Orders), Testing Web Applications (Part 2: Sanitized HTML)send_terms_and_conditions()
— Testing Web Applications (Order Form)Sequence
class — Railroad Diagramsseq_vars()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)__setitem__()
— Mining Input Grammars (Vars)set_arguments()
— Testing Configurations (Classes for Fuzzing Configuration Options)set_expansion_probabilities()
— Probabilistic Grammar Fuzzing (Assigning Probabilities)set_flatten_depth()
— Mining Input Grammars (Exercise 1: Flattening complex objects)set_grammar()
— Testing Graphical User Interfaces (Exploring User Interfaces)set_invocation()
— Testing Configurations (Classes for Fuzzing Configuration Options)_set_kv()
— Mining Input Grammars (Vars), Mining Input Grammars (AssignmentVars)set_opts()
— Fuzzing with Grammars (Grammar Extensions)set_parents()
— Control Flow Graph (CFGNode)set_prob()
— Probabilistic Grammar Fuzzing (Directed Fuzzing)set_probabilities()
— Probabilistic Grammar Fuzzing (Assigning Probabilities)SEXPR_TOKEN
— Concolic Fuzzing (Using the Command Line)shellsort()
— Introduction to Software Testing (Exercise 1: Testing Shellsort)show_cfg()
— Symbolic Fuzzing (The Control Flow Graph)show_coverage()
— Mutation Analysis (Structural Coverage Adequacy by Example), Symbolic Fuzzing (Visualizing the Coverage)show_diagram()
— Railroad Diagramsshow_table()
— Parsing Inputs (Part 1: A LL(1) Parsing Table)SimpleConcolicFuzzer
class — Concolic Fuzzing (Fuzzing with Constraints), Concolic Fuzzing (Fuzzing with Constraints), Concolic Fuzzing (Fuzzing with Constraints), Concolic Fuzzing (Fuzzing with Constraints), Concolic Fuzzing (Fuzzing with Constraints)SimpleGrammarCoverageFuzzer
class — Grammar Coverage (Covering Grammar Expansions), Grammar Coverage (Covering Grammar Expansions)SimpleHTTPRequestHandler
class — Testing Web Applications (A Web User Interface), Testing Web Applications (Handling HTTP Requests), Testing Web Applications (Order Form), Testing Web Applications (Order Form), Testing Web Applications (Processing Orders), Testing Web Applications (Processing Orders), Testing Web Applications (Processing Orders), Testing Web Applications (Processing Orders), Testing Web Applications (Other HTTP commands), Testing Web Applications (Page Not Found), Testing Web Applications (Internal Errors), Testing Web Applications (Logging)SimpleSymbolicFuzzer
class — Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (SimpleSymbolicFuzzer), Symbolic Fuzzing (Generating All Possible Paths), Symbolic Fuzzing (Generating All Possible Paths), Symbolic Fuzzing (Extracting All Constraints), Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer), Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer), Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer)simple_call_string()
— Mining Function Specifications (Tracking Calls), Carving Unit Tests (Recording my_sqrt())simple_grammar_fuzzer()
— Fuzzing with Grammars (A Simple Grammar Fuzzer)Skip
class — Railroad Diagramssmt_expr()
— Concolic Fuzzing (Translating to the SMT Expression Format)solve_path_constraint()
— Symbolic Fuzzing (Fuzzing with Simple Symbolic Fuzzer), Symbolic Fuzzing (Solving Path Constraints)some_long_running_function()
— Timer (Measuring Time)sort_by_prob()
— Probabilistic Grammar Fuzzing (Testing Uncommon Features)source()
— Control Flow Graph (CFGNode)span()
— Concolic Fuzzing (ConcolicGrammarFuzzer)split()
— Parsing Inputs (The Packrat Parser for Predicate Expression Grammars), Tracking Information Flow (Split), Concolic Fuzzing (Splitting Strings)_split_helper()
— Tracking Information Flow (Split)_split_space()
— Tracking Information Flow (Split)sql()
— Tracking Information Flow (Executing SQL Statements), Tracking Information Flow (Tracking Untrusted Input)SQLException
class — Tracking Information Flow (A Vulnerable Database)SQLInjectionFuzzer
class — Testing Web Applications (Fully Automatic Web Attacks)SQLInjectionGrammarMiner
class — Testing Web Applications (Fully Automatic Web Attacks)sqrt_program()
— Introduction to Software Testing (System Input vs Function Input), Introduction to Software Testing (System Input vs Function Input), Introduction to Software Testing (System Input vs Function Input)srange()
— Fuzzing with Grammars (Character Classes)src()
— Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (Mutator for Modules and Test Suites)stack_to_tree()
— Mining Input Grammars (CallStack)Stack
class — Railroad Diagramsstartswith()
— Concolic Fuzzing (Checking for String Prefixes)start_httpd()
— Testing Web Applications (Running the Server)START_STATE
— Testing Graphical User Interfaces (Retrieving State Grammars)start_symbol()
— Parsing Inputs (Ambiguity)START_SYMBOL
— Fuzzing with Grammars (Some Definitions)start_webdriver()
— Testing Graphical User Interfaces (Remote Control with Selenium)Start
class — Railroad DiagramsState
class — Parsing Inputs (States), Parsing Inputs (Exercise 5: Leo Parser)steepest_ascent_hillclimber()
— Search-Based Fuzzing (Hillclimbing the Example)StmtDeletionMutator
class — Mutation Analysis (A Simple Mutator for Functions), Mutation Analysis (A Simple Mutator for Functions)store_order()
— Testing Web Applications (Processing Orders), Testing Web Applications (Part 3: Sanitized SQL)strip()
— Tracking Information Flow (Strip), Concolic Fuzzing (Remove Space from Ends)strip_all_info()
— Tracking Information Flow (Conversions)strip_all_info_again()
— Tracking Information Flow (Implicit Information Flow)STROKE_ODD_PIXEL_LENGTH
— Railroad DiagramsStrongShapeTest
class — Mutation Analysis (Mutator for Modules and Test Suites)strong_oracle()
— Mutation Analysis (Structural Coverage Adequacy by Example)__str__()
— Greybox Fuzzing (Power Schedules), Parsing Inputs (Columns), Parsing Inputs (States), Mining Input Grammars (CallStack), Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (Taint Aware Fuzzing), Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Part 3: Passing taints from integers to strings), Symbolic Fuzzing (Stepwise Exploration of Paths), Error Handling (Catching Timeouts), Control Flow Graph (CFGNode)Style
class — Railroad Diagramssubmit()
— Testing Graphical User Interfaces (Executing User Interface Actions)subtrees_with_symbol()
— Reducing Failure-Inducing Inputs (Finding Subtrees)suite()
— Mutation Analysis (Mutator for Modules and Test Suites)sum2()
— Mining Function Specifications (Some Examples), Mining Function Specifications (Mining Specifications from Generated Tests), Mining Function Specifications (Synopsis)SUM2_EBNF_GRAMMAR
— Mining Function Specifications (Mining Specifications from Generated Tests)sum3()
— Mining Function Specifications (Multiple Types)supported_opts()
— Efficient Grammar Fuzzing (Expanding a Node), Probabilistic Grammar Fuzzing (Expanding by Probability), Fuzzing with Generators (A Class for Integrating Constraints), Fuzzing with Generators (Generators and Probabilistic Fuzzing), Fuzzing with Generators (Generators and Grammar Coverage)swapcase()
— Tracking Information Flow (String methods that do not change origin)swap_fragment()
— Greybox Fuzzing with Grammars (Fragment-Based Mutation), Greybox Fuzzing with Grammars (Region-based Mutation)symbol_cost()
— Efficient Grammar Fuzzing (Closing the Expansion)SYMBOL_NAME
— Efficient Grammar Fuzzing (Representing Derivation Trees)symbol_reductions()
— Reducing Failure-Inducing Inputs (Both Strategies Together)SYMBOL_TABLE
— Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Definitions and Uses)sym_to_float()
— Symbolic Fuzzing (Example: Roots of a Quadratic Equation)syntax_diagram()
— Fuzzing with Grammars (Visualizing Grammars as Railroad Diagrams)syntax_diagram_alt()
— Fuzzing with Grammars (Visualizing Grammars as Railroad Diagrams)syntax_diagram_expr()
— Fuzzing with Grammars (Visualizing Grammars as Railroad Diagrams)syntax_diagram_symbol()
— Fuzzing with Grammars (Visualizing Grammars as Railroad Diagrams)_t()
— Parsing Inputs (States), Mining Input Grammars (Context)table()
— Tracking Information Flow (Representing Tables), Concolic Fuzzing (Database)TaintedDB
class — Tracking Information Flow (TaintedDB)TaintedGrammarFuzzer
class — Tracking Information Flow (TaintedGrammarFuzzer), Tracking Information Flow (TaintedGrammarFuzzer), Tracking Information Flow (TaintedGrammarFuzzer), Tracking Information Flow (TaintedGrammarFuzzer)TaintedInputStack
class — Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow), Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)TaintedScopedGrammarMiner
class — Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)TaintedScopedVars
class — Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)TaintedScopeTracker
class — Mining Input Grammars (Exercise 2: Incorporating Taints from InformationFlow)Tainted
class — Tracking Information Flow (Taint Aware Fuzzing)target_tile()
— Control Flow Graph (Example: Maze)terminals()
— Parsing Inputs (Nullable)terminal_repr()
— Search-Based Fuzzing (Evolutionary Search)Terminal
class — Railroad Diagramstest()
— Reducing Failure-Inducing Inputs (Delta Debugging), Reducing Failure-Inducing Inputs (Delta Debugging)TestGCD
class — Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Synopsis)test_equilateral()
— Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites)test_isosceles()
— Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites)test_me()
— Search-Based Fuzzing (Representing Program Inputs as a Search Problem)test_me2()
— Search-Based Fuzzing (Hillclimbing the Example)test_me2_instrumented()
— Search-Based Fuzzing (Hillclimbing the Example)test_me_instrumented()
— Search-Based Fuzzing (Instrumentation), Search-Based Fuzzing (Instrumentation)test_mirror()
— Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Synopsis)test_scalene()
— Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Mutator for Modules and Test Suites)test_simple()
— Mutation Analysis (Mutator for Modules and Test Suites), Mutation Analysis (Synopsis)test_successful_order()
— Testing Graphical User Interfaces (Writing Test Cases)tile_()
— Control Flow Graph (Example: Maze), Control Flow Graph (Example: Maze), Control Flow Graph (Example: Maze)timeout()
— Greybox Fuzzing with Grammars (Building the Fragment Pool)Timeout
class — Greybox Fuzzing with Grammars (Building the Fragment Pool)Timer
class — Timer (Measuring Time)tint
class — Tracking Information Flow (Part 1: Creation), Tracking Information Flow (Part 2: Arithmetic expressions), Tracking Information Flow (Part 3: Passing taints from integers to strings), Tracking Information Flow (Part 3: Passing taints from integers to strings), Tracking Information Flow (Part 4: Passing taints from integers to strings)title()
— Tracking Information Flow (String methods that do not change origin)TITLE_GRAMMAR
— Fuzzing with Grammars (A Natural Language Grammar)tokenize()
— Parsing Inputs (The Packrat Parser for Predicate Expression Grammars)to_graph()
— Control Flow Graph (Supporting Functions)to_json()
— Control Flow Graph (CFGNode)to_nonterminal()
— Mining Input Grammars (Assembling a Derivation Tree)to_num()
— Concolic Fuzzing (Fuzzing with Constraints)to_single_assignment_predicates()
— Symbolic Fuzzing (Renaming Used Variables)to_src()
— Symbolic Fuzzing (Function Summaries)trace()
— Code Coverage (A Coverage Class)traceit()
— Code Coverage (Tracing Executions), Code Coverage (A Coverage Class), Mining Input Grammars (Tracer), Mining Input Grammars (Context), Mining Input Grammars (Context), Concolic Fuzzing (Tracking Constraints), Mining Function Specifications (Tracking Calls), Mining Function Specifications (Tracking Calls), Testing Configurations (Tracking Arguments), Testing Configurations (Tracking Arguments), Testing Configurations (A Grammar Miner for Options and Arguments), Carving Unit Tests (Recording Calls), Carving Unit Tests (Exercises), Carving Unit Tests (Part 1: Store function results)Tracer
class — Mining Input Grammars (Tracer), Mining Input Grammars (Context), Mining Input Grammars (Context), Mining Input Grammars (Context), Mining Input Grammars (Context), Mining Input Grammars (Context), Mining Input Grammars (Context)trace_call()
— Mining Function Specifications (Tracking Calls)trace_return()
— Mining Function Specifications (Tracking Calls)tracing_context()
— Mining Input Grammars (Context)tracing_var()
— Mining Input Grammars (Context)Tracker
class — Mining Function Specifications (Tracking Calls)TrackingConfigParser
class — Testing Configurations (Part 3: Mine a Configuration Grammar)TrackingDB
class — Tracking Information Flow (TrackingDB)TrackingGrammarCoverageFuzzer
class — Grammar Coverage (Tracking Grammar Coverage), Grammar Coverage (Tracking Grammar Coverage), Grammar Coverage (Tracking Grammar Coverage), Grammar Coverage (Tracking Grammar Coverage)track_event()
— Mining Input Grammars (DefineTracker), Mining Input Grammars (AssignmentTracker)translate_to_z3_name()
— Symbolic Fuzzing (Get Names and Types of Variables Used)traverse_tree()
— Efficient Grammar Fuzzing (Representing Derivation Trees)traverse_z3()
— Concolic Fuzzing (ConcolicGrammarFuzzer)TreeMiner
class — Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Recovering a Derivation Tree)tree_list_to_string()
— Reducing Failure-Inducing Inputs (A Few Helpers)tree_to_grammar()
— Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Grammar Mining)tree_to_string()
— Efficient Grammar Fuzzing (Representing Derivation Trees), Tracking Information Flow (TaintedGrammarFuzzer), Concolic Fuzzing (ConcolicGrammarFuzzer)tree_type()
— Tracking Information Flow (TaintedGrammarFuzzer)TRIALS
— Fuzzing in the Large (Coarse-Grained Signatures), Fuzzing in the Large (Collecting Code Coverage)triangle()
— Mutation Analysis (Structural Coverage Adequacy by Example), Concolic Fuzzing (Translating to the SMT Expression Format)triangle_m1()
— Mutation Analysis (Injecting Artificial Faults)TroffRunner
class — Fuzzing: Breaking Things with Random Inputs (Exercise 2: Run Simulated Troff)true_property_instantiations()
— Mining Function Specifications (Checking Invariants)TrustedDB
class — Tracking Information Flow (Tracking Untrusted Input)TRUSTED
— Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins)TState
class — Parsing Inputs (Exercise 5: Leo Parser)tstr1()
— Concolic Fuzzing (Equality between Strings), Concolic Fuzzing (Equality between Strings)tstr10()
— Concolic Fuzzing (Splitting Strings)tstr2()
— Concolic Fuzzing (An Iterator Class for Strings)tstr3()
— Concolic Fuzzing (Translating to Upper and Lower Equivalents)tstr4()
— Concolic Fuzzing (Translating to Upper and Lower Equivalents)tstr5()
— Concolic Fuzzing (Checking for String Prefixes)tstr6()
— Concolic Fuzzing (Finding Substrings)tstr7()
— Concolic Fuzzing (Remove Space from Ends)tstr8()
— Concolic Fuzzing (Remove Space from Ends)tstr9()
— Concolic Fuzzing (Remove Space from Ends)tstr
class — Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (A Class for Tainted Strings), Tracking Information Flow (String Operators), Tracking Information Flow (String Operators)twice()
— Testing Configurations (Creating Autopep8 Options)TypeAnnotator
class — Mining Function Specifications (All-in-one Annotation)typed_functions()
— Mining Function Specifications (All-in-one Annotation)typed_functions_ast()
— Mining Function Specifications (All-in-one Annotation)TypeTracker
class — Mining Function Specifications (All-in-one Annotation)TypeTransformer
class — Mining Function Specifications (Annotating Functions with Given Types), Mining Function Specifications (Annotating Functions with Given Types), Mining Function Specifications (Annotating Functions with Given Types)type_string()
— Mining Function Specifications (Annotating Functions with Mined Types)UNEXPLORED_STATE
— Testing Graphical User Interfaces (Retrieving State Grammars)unhack()
— Control Flow Graph (Supporting Functions)unicode_escape()
— Fuzzing in the Large (Coarse-Grained Signatures)unicode_string_neighbours()
— Search-Based Fuzzing (Evolutionary Search)unify_key()
— Parsing Inputs (Unify Key), Parsing Inputs (Unify Rule), Parsing Inputs (Exercise 1: An Alternative Packrat)unify_rule()
— Parsing Inputs (Unify Rule), Parsing Inputs (Exercise 1: An Alternative Packrat)uniq_postdot()
— Parsing Inputs (Exercise 5: Leo Parser), Parsing Inputs (Exercise 5: Leo Parser)UNKNOWN_ORIGIN
— Tracking Information Flow (A Class for Tracking Character Origins), Tracking Information Flow (Privacy Leaks Revisited)unreachable_nonterminals()
— Fuzzing with Grammars (Checking Grammars)UNRESOLVED
— Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Synopsis), Fuzzing: Breaking Things with Random Inputs (Runner Classes), Fuzzing: Breaking Things with Random Inputs (Runners), Fuzzing: Breaking Things with Random Inputs (Runners), Reducing Failure-Inducing Inputs (The Reduction Strategy)UNTRUSTED
— Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins), Tracking Information Flow (Tracking Character Origins)unwrap_substrings()
— Concolic Fuzzing (ConcolicGrammarFuzzer)up()
— Railroad Diagramsupdate()
— Mining Input Grammars (Vars), Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)update_cache()
— Parsing Inputs (Fuzzing a Simple Program)update_children()
— Control Flow Graph (CFGNode), Control Flow Graph (PyCFG)update_existing_state()
— Testing Graphical User Interfaces (Exploring User Interfaces)update_functions()
— Control Flow Graph (PyCFG)update_grammar()
— Mining Input Grammars (Recovering Grammars from Derivation Trees), Mining Input Grammars (Recover Grammar), Mining Input Grammars (Grammar Mining), Tracking Information Flow (TaintedGrammarFuzzer), Concolic Fuzzing (All together)update_inventory()
— Tracking Information Flow (All Methods Together)update_maps()
— Search-Based Fuzzing (Instrumentation for Atomic Conditions)update_new_state()
— Testing Graphical User Interfaces (Exploring User Interfaces)update_state()
— Testing Graphical User Interfaces (Exploring User Interfaces)update_tree()
— Tracking Information Flow (TaintedGrammarFuzzer)upper()
— Tracking Information Flow (String methods that do not change origin), Concolic Fuzzing (Translating to Upper and Lower Equivalents)URLPARSE_C_GRAMMAR
— Fuzzing APIs (Synthesizing Code)URLPARSE_GRAMMAR
— Fuzzing APIs (Synthesizing Code)URLPARSE_ORACLE_GRAMMAR
— Fuzzing APIs (Synthesizing Oracles), Fuzzing APIs (Synthesizing Oracles), Fuzzing APIs (Exercise 1: Deep Arguments)URLS_X
— Mining Input Grammars (Problems with the Simple Miner)URLS
— Mining Input Grammars (Example 2. Recovering URL Grammar)URL_GRAMMAR
— Fuzzing with Grammars (A URL Grammar)url_parse()
— Mining Input Grammars (Example 2. Recovering URL Grammar)URL_SAMPLE
— Probabilistic Grammar Fuzzing (Testing Common Features)URL_TOKENS
— Probabilistic Grammar Fuzzing (Testing Common Features)used_identifiers()
— Symbolic Fuzzing (Get Names and Types of Variables Used)used_vars()
— Symbolic Fuzzing (Get Names and Types of Variables Used)use_id()
— Fuzzing with Generators (Definitions and Uses)US_PHONE_GRAMMAR
— Fuzzing with Grammars (Synopsis)v()
— Railroad DiagramsV1
— Mining Input Grammars (Assembling a Derivation Tree), Mining Input Grammars (Assembling a Derivation Tree)valid_luhn_checksum()
— Fuzzing with Generators (Functions Called After Expansion)VALUES
— Tracking Information Flow (Inserting Data)VARIABLE
— Code Coverage (A Coverage Class)Vars
class — Mining Input Grammars (Vars), Mining Input Grammars (Vars)var_access()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)var_assign()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)VAR_GRAMMAR
— Fuzzing with Generators (Definitions and Uses), Fuzzing with Generators (Definitions and Uses)var_location_register()
— Mining Input Grammars (AssignmentVars)var_name()
— Mining Input Grammars (AssignmentVars), Mining Input Grammars (ScopedVars)var_symbol()
— Carving Unit Tests (A Grammar from Arguments)VEHICLES
— Mining Input Grammars (A Simple Grammar Miner), Tracking Information Flow (A Vulnerable Database), Tracking Information Flow (All Methods Together)Vehicle
class — Mining Input Grammars (Exercise 1: Flattening complex objects)visit_AnnAssign()
— Mutation Analysis (A Simple Mutator for Functions)visit_Assert()
— Mutation Analysis (A Simple Mutator for Functions)visit_Assign()
— Mutation Analysis (A Simple Mutator for Functions)visit_AugAssign()
— Mutation Analysis (A Simple Mutator for Functions)visit_BinOp()
— Mutation Analysis (Exercise 1: Arithmetic Expression Mutators)visit_Break()
— Mutation Analysis (A Simple Mutator for Functions)visit_Compare()
— Search-Based Fuzzing (Instrumenting Source Code Automatically)visit_Continue()
— Mutation Analysis (A Simple Mutator for Functions)visit_Delete()
— Mutation Analysis (A Simple Mutator for Functions)visit_Expr()
— Mutation Analysis (A Simple Mutator for Functions), Mining Function Specifications (Annotating Functions with Given Types)visit_FunctionDef()
— Search-Based Fuzzing (Instrumenting Source Code Automatically), Mining Function Specifications (Annotating Functions with Given Types), Mining Function Specifications (Exercise 9: Embedding Invariants as Assertions)visit_Global()
— Mutation Analysis (A Simple Mutator for Functions)visit_Name()
— Mining Function Specifications (Extracting Meta-Variables), Mining Function Specifications (Instantiating Properties)visit_Nonlocal()
— Mutation Analysis (A Simple Mutator for Functions)visit_Pass()
— Mutation Analysis (A Simple Mutator for Functions)visit_Raise()
— Mutation Analysis (A Simple Mutator for Functions)visit_Return()
— Mutation Analysis (A Simple Mutator for Functions)VS
— Railroad Diagramswalk()
— Control Flow Graph (PyCFG)was_seen()
— Parsing Inputs (Exercise 6: Filtered Earley Parser)WeakShapeTest
class — Mutation Analysis (Mutator for Modules and Test Suites)weak_oracle()
— Mutation Analysis (Structural Coverage Adequacy by Example)webbrowser()
— Carving Unit Tests (System Tests vs Unit Tests), Testing Web Applications (Logging)WebFormFuzzer
class — Testing Web Applications (A Fuzzer for Web Forms)WebRunner
class — Testing Web Applications (Fuzzing with Unexpected Values)WHERE
— Tracking Information Flow (Deleting Data)wrapper()
— Mining Function Specifications (Annotating Functions with Pre- and Postconditions), Mining Function Specifications (Exercise 3: Verbose Invariant Checkers)wrapString()
— Railroad DiagramswriteSvg()
— Railroad Diagrams, Railroad Diagrams, Railroad Diagramsx()
— Tracking Information Flow (Extract Origin String)XML_GRAMMAR
— Fuzzing with Generators (Example: Matching XML Tags), Greybox Fuzzing with Grammars (Parsing and Recombining HTML), Greybox Fuzzing with Grammars (Building the Fragment Pool)XML_TOKENS
— Greybox Fuzzing with Grammars (Parsing and Recombining HTML)XML_UNICODE_WCHAR_T
— Testing Configurations (Part 3: C Preprocessor Configuration Fuzzing)z3_as_string()
— Concolic Fuzzing (ConcolicGrammarFuzzer)z3_names_and_types()
— Symbolic Fuzzing (Get Names and Types of Variables Used)Z3
— Concolic Fuzzing (SMT Solvers)zbool
class — Concolic Fuzzing (A Proxy Class for Booleans), Concolic Fuzzing (Negation of Encoded formula), Concolic Fuzzing (Registering Predicates on Conditionals)zchr()
— Concolic Fuzzing (Translating an Ordinal Value to ASCII)ZeroDivisionRunner
class — Reducing Failure-Inducing Inputs (Synopsis)ZeroOrMore()
— Railroad Diagramszeval()
— Concolic Fuzzing (Evaluating the Concolic Expressions)zeval_py()
— Concolic Fuzzing (Using the Python API)zeval_smt()
— Concolic Fuzzing (Using the Command Line)zfloat
class — Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)zint
class — Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (Equality between Integers), Concolic Fuzzing (Equality between Integers), Concolic Fuzzing (Comparisons between Integers), Concolic Fuzzing (Comparisons between Integers), Concolic Fuzzing (Using an Integer in a Boolean Context), Concolic Fuzzing (Exercise 2: Bit Manipulation)zord()
— Concolic Fuzzing (Retrieving Ordinal Value)zproxy_create()
— Concolic Fuzzing (Concolic Proxy Objects)zstr_iterator
class — Concolic Fuzzing (An Iterator Class for Strings)zstr
class — Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (Equality between Strings), Concolic Fuzzing (Concatenation of Strings), Concolic Fuzzing (Producing Substrings), Concolic Fuzzing (Translating to Upper and Lower Equivalents), Concolic Fuzzing (Translating to Upper and Lower Equivalents), Concolic Fuzzing (Checking for String Prefixes), Concolic Fuzzing (Finding Substrings), Concolic Fuzzing (Remove Space from Ends), Concolic Fuzzing (Remove Space from Ends), Concolic Fuzzing (Remove Space from Ends), Concolic Fuzzing (Splitting Strings)_zv()
— Concolic Fuzzing (A Proxy Class for Integers), Concolic Fuzzing (A Proxy Class for Strings), Concolic Fuzzing (Exercise 1: Implment a Concolic Float Proxy Class)