search

TeamSibyl / overview

This repository contains basic info on the goals and findings for Team Sibyl. If you're new, start here.
MIT License
0 stars 0 forks source link

Symbolic execution for control path exploration #7

Open spadaval opened 6 years ago

spadaval commented 6 years ago

Is it possible to build a neural net, or some other classification system, that can parse an abstract state tree, and decide what type of behavior it's exhibiting?

spadaval commented 6 years ago

For some context, an AST is an abstract representation of some variable, during program execution. It represents all the possible states of the variable, depending on a bunch of constraints. The goal is to, given a set of AST's, identify what that variable could refer to, and what the program is doing overall.