vlad902

/**
 * Find code paths that go from a source function to a destination function
 * (only detects direct calls)
 */
allPathsThatCanReach = { srcFunc, dstFunc ->
	__allPathsThatCanReach(srcFunc, dstFunc, [dstFunc])
}

__allPathsThatCanReach = { srcFunc, dstFunc, path ->
	if (srcFunc == dstFunc) {

vlad902

// Simplify the argument, e.g. '( struct foo* ) & bar' to 'bar'
strip = { traversal ->
	if (traversal.clone().values('type')[0] == 'CastExpression') {
		traversal = traversal.ithChildren('1')
	}

	traversal.values('code')[0].replace("& ", "").replace("* ", "")
}

// { 'aliasing_function': [ 'src_arg', 'dst_arg' ], ... }

vlad902

// Cute octopus/gremlin query to find all expressions of the form 'foo < 0 ? foo : -foo', these cases are
// likely to not take signed overflow into account, e.g. 0x80000000 (negative signed int max) * -1 = 0x80000000.
g.V().has('type', 'ConditionalExpression')
  .sideEffect { lval = g.V(it.get()).out(AST_EDGE).has('childNum', '1')[0].value('code').replace("- ", "") }
  .filter { lval.matches("[^0-9].*") }
  .sideEffect { rval = g.V(it.get()).out(AST_EDGE).has('childNum', '2')[0].value('code').replace("- ", "") }
  .filter { lval == rval }
  .out(AST_EDGE).has('childNum', '0').astNodes().filter { it.get().value('code') == lval }

vlad902

addStep('pp', { verbose=false ->
        delegate.map({
                result = ""
                switch(it.get().class) {
                case com.thinkaurelius.titan.graphdb.vertices.CacheVertex:
                        result = String.format("vertex id: %s\t%s", it.get().id().toString(),
                                it.get().properties().toList().stream()
                                        .filter({ prop -> prop.value() != "" })
                                        .sorted(Comparator.comparing({ prop -> prop.type.toString() }))
                                        .map({ prop -> prop.type.toString() + ": " + prop.value() })

vlad902

diff --git a/build.gradle b/build.gradle
index 74ff2a4..3211a21 100644
--- a/build.gradle
+++ b/build.gradle
@@ -24,7 +24,7 @@ allprojects {

 task joernTools(type: Exec) {
     workingDir './python/joern-tools'
-    commandLine 'python3', 'setup.py', 'install', '--user'
+    commandLine 'python3', 'setup.py', 'install'