dtolpin / ff-all-plans Goto Github PK
View Code? Open in Web Editor NEWquick fix to FF planner by Jorg Hoffman to find all plans
quick fix to FF planner by Jorg Hoffman to find all plans
Taking the example of a reverse-shell, with only 2 files descriptors available (fd0 and fd1, respectively for the input and output streams), and generating all plans without transpositions, all plans start with:
close fd1
socket fd1
when there exists legal plans plans starting with:
close fd0
socket fd0
Also tested with transpositions (until 20.000 plans), same problem.
When generating all plans, actions not going toward the goal are inserted. With the example of the reverse-shell (with file descriptors fd0, fd1, fd2, fd3 and fd4 available), it generates:
close fd1
socket fd3
connect fd3
dup fd3 fd1
close fd0
dup fd3 fd0
close fd2
socket fd2
execve sh
When we would expect:
close fd1
socket fd3
dup fd3 fd4
connect fd4
dup fd3 fd1
close fd0
dup fd3 fd0
execve sh
As a shorter plan going toward the goal.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.