GitXplorerGitXplorer
N

secco

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
201d13c1cd3204939894727b3747ba9987693445

Add automatic timing

NNsidorenco committed 7 years ago
Unverified
144bf0cde74628d74f2426d8f575a89b8d1c1177

Add timing for z3 calls

NNsidorenco committed 7 years ago
Unverified
43dc2613d22dc210dbb7c9d2366a95800d67504d

Extend bubblesort

NNsidorenco committed 7 years ago
Unverified
45f402842f0643857ae4f0a2b5dfd0cd213e11fa

Merge branch 'simpleArray' of github.com:Nsidorenco/secco into simpleArray

bbroeman committed 7 years ago
Unverified
681ee7a1b9d95b5e85ae5baf6d94611234b9ca0a

sorting algorithms sorted

bbroeman committed 7 years ago
Unverified
709e9b7e22cb9176d3bba0e8aaf9824f5b804a9e

array copy test program

nnicolai4321 committed 7 years ago

README

The README file for this repository.

Secco

A language build in Clojure, for usage in concolic execution (symbolic and concrete testing)

Usage

lein run "program.sec" <options>

-ast For Abstract Syntax Tree made in Graphviz (Rhizome)

-cfg For Control Flow Graph made in Graphviz (Rhizome)

-sym For Symbolic Execution

License

Copyright © 2018 Nicolai Wiwe Andersen, Jesper Brodersen, Nikolaj Sidorenco

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.