GitXplorerGitXplorer
N

secco

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Verified
b5b232cfbb4a7a292f0728f905b15d42fb57f918

Merge pull request #10 from Nsidorenco/simpleArray

nnicolai4321 committed 7 years ago
Unverified
81be21261c87c9a49fb39c1d7ab4e1f6a6cae9f4

interesting gcd test for report

bbroeman committed 7 years ago
Unverified
723fc4ffab715df9f62bccbc57a614e7e12f2549

test that illustrates the difference between data types

nnicolai4321 committed 7 years ago
Unverified
5e92b57009ad592f2aaebbe4bdfd0dbb9ae6b8e6

merge

nnicolai4321 committed 7 years ago
Unverified
adf5f06b0f1a287f1a801730a13828f7580a2487

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

nnicolai4321 committed 7 years ago
Unverified
206b8f95a68ca5a19a375b04c7507095da02650b

heuristics test check with strategy input on concolic execute

bbroeman 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.