BatFix/src/main.cpp at main · squaresLab/BatFix · GitHub

History

87 lines (69 loc) · 2.44 KB

Raw

#include <iostream>

#include <memory>

#include <algorithm>

#include <vector>

#include <sstream>

#include <map>

#include <chrono>

#include <fstream>

#include <unistd.h>

#include <sys/wait.h>

#include <filesystem>

#include <poll.h>

#include "clang/AST/DeclarationName.h"

#include "clang/Tooling/Core/Replacement.h"

#include "clang/Tooling/Tooling.h"

#include "clang/ASTMatchers/ASTMatchFinder.h"

#include "../CLI11.hpp"

#include "CodePreprocessing.h"

#include "llvm/ADT/StringRef.h"

#include "clang/Basic/Diagnostic.h"

#include "clang/Basic/SourceLocation.h"

#include "clang/AST/RecursiveASTVisitor.h"

#include "clang/Rewrite/Core/Rewriter.h"

#include "clang/AST/AST.h"

#include "clang/AST/ASTConsumer.h"

#include "clang/Frontend/TextDiagnosticPrinter.h"

#include "clang/Basic/DiagnosticOptions.h"

#include "clang/AST/Type.h"

#include "clang/AST/Stmt.h"

#include <clang/Sema/Lookup.h>

#include <clang/Sema/ExternalSemaSource.h>

#include <clang/Sema/Sema.h>

#include "clang/AST/PrettyPrinter.h"

#include "clang/Basic/LangOptions.h"

#include "JavaGraph.h"

#include "clang/Rewrite/Frontend/FixItRewriter.h"

#include <regex>

#include "clang/Analysis/CFG.h"

#include "clang/Lex/Lexer.h"

#include <stdlib.h>

#include "Enumerator.h"

#include "ClangVisitors.h"

#include "ExecutionTraces.cpp"

#include "ClangCompressedCFG.h"

#include "HyperGraph.h"

#include "MaxSATWrapper.h"

#include "SyntaxErrors.h"

#include "SemanticErrors.h"

int main(int argc, const char **argv) {

CLI::App app{"Synthesizer"};

std::string code_file, graph_file, resource_dir, trace;

app.add_option("-f,--file", code_file, "Source code");

app.add_option("-g,--graph", graph_file, "Graph code");

app.add_option("-t,--trace", trace, "Trace code");

app.add_option("-c, --clang-resource", resource_dir, "Clang resource dirs");

CLI11_PARSE(app, argc, argv);

std::cerr << "Input files: " << code_file << ", " << graph_file << std::endl;

int i = 0;

std::string code = file_to_string(code_file);

assert(!code.empty());

code = preprocess(code);

SyntaxErrors syntax(code);

while (!syntax.fix_syntax_errors() && i++ < 5);

//std::cout << code << std::endl;

//std::vector<string> programs;//programs.push_back(syntax.get_current_code());

SemanticErrors semantics(syntax.get_current_code(), graph_file, trace);

while(!semantics.semantic_analysis() && i++ < 5);

return 0;

}

BatFix/src/main.cpp at main · squaresLab/BatFix · GitHub

Expand file tree

Breadcrumbs

main.cpp

Latest commit

History

Breadcrumbs

main.cpp

File metadata and controls