In project Sat4J, parsing the source files from the core components, located in the relative sub-folder sat4j/org.sat4j.core/src/main/java/org/sat4j/core, leads to error 400:
javaParser execute at 1623227133691 within file DefaultComparator.java - {"headers":{"normalizedNames":{},"lazyUpdate":null},"status":400,"statusText":"BAD REQUEST","url":"https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/DefaultComparator.java","ok":false,"name":"HttpErrorResponse","message":"Http failure response for https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/DefaultComparator.java: 400 BAD REQUEST","error":"\n
400 Bad Request\n
Bad Request
\n
The browser (or proxy) sent a request that this server could not understand.
\n"}
javaParser execute at 1623227133691 within file package-info.java - {"answers":["","",""]}
javaParser execute at 1623227133691 within file ConstrGroup.java - {"answers":["","",""]}
javaParser execute at 1623227133691 within file LiteralsUtils.java - {"headers":{"normalizedNames":{},"lazyUpdate":null},"status":400,"statusText":"BAD REQUEST","url":"
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/LiteralsUtils.java","ok":false,"name":"HttpErrorResponse","message":"Http failure response for
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/LiteralsUtils.java: 400 BAD REQUEST","error":"\n400 Bad Request\n
Bad Request
\n
The browser (or proxy) sent a request that this server could not understand.
\n"}
javaParser execute at 1623227133691 within file EmptyVecInt.java - {"answers":["","",""]}
javaParser execute at 1623227133691 within file ASolverFactory.java - {"headers":{"normalizedNames":{},"lazyUpdate":null},"status":400,"statusText":"BAD REQUEST","url":"
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/ASolverFactory.java","ok":false,"name":"HttpErrorResponse","message":"Http failure response for
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/ASolverFactory.java: 400 BAD REQUEST","error":"\n400 Bad Request\n
Bad Request
\n
The browser (or proxy) sent a request that this server could not understand.
\n"}
javaParser execute at 1623227133691 within file ReadOnlyVec.java - {"headers":{"normalizedNames":{},"lazyUpdate":null},"status":400,"statusText":"BAD REQUEST","url":"
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/ReadOnlyVec.java","ok":false,"name":"HttpErrorResponse","message":"Http failure response for
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/ReadOnlyVec.java: 400 BAD REQUEST","error":"\n400 Bad Request\n
Bad Request
\n
The browser (or proxy) sent a request that this server could not understand.
\n"}
javaParser execute at 1623227133691 within file Vec.java - {"headers":{"normalizedNames":{},"lazyUpdate":null},"status":400,"statusText":"BAD REQUEST","url":"
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/Vec.java","ok":false,"name":"HttpErrorResponse","message":"Http failure response for
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/Vec.java: 400 BAD REQUEST","error":"\n400 Bad Request\n
Bad Request
\n
The browser (or proxy) sent a request that this server could not understand.
\n"}
javaParser execute at 1623227133691 within file ReadOnlyVecInt.java - {"headers":{"normalizedNames":{},"lazyUpdate":null},"status":500,"statusText":"INTERNAL SERVER ERROR","url":"
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/ReadOnlyVecInt.java","ok":false,"name":"HttpErrorResponse","message":"Http failure response for
https://decoder-tool.ow2.org/javaparser/decoder/javaASTGenerator/sat4j/ReadOnlyVecInt.java: 500 INTERNAL SERVER ERROR","error":"\n\n \n FileNotFoundError: [Errno 2] No such file or directory: 'res_ywyfqzsh' // Werkzeug Debugger\n <link rel="stylesheet" href="?__debugger__=yes&cmd=resource&f=style.css"\n type="text/css">\n \n <link rel="shortcut icon"\n href="?__debugger__=yes&cmd=resource&f=console.png">\n <script src="?__debugger__=yes&cmd=resource&f=jquery.js">\n <script src="?__debugger__=yes&cmd=resource&f=debugger.js">\n <script type="text/javascript">\n var TRACEBACK = 140672796086176,\n CONSOLE_MODE = false,\n EVALEX = true,\n EVALEX_TRUSTED = false,\n SECRET = "X5Y7B3wcKcR6yI8o1gYS";\n \n \n <body style="background-color: #fff">\n <div class="debugger">\n
FileNotFoundError
\n<div class="detail">\n <p class="errormsg">FileNotFoundError: [Errno 2] No such file or directory: 'res_ywyfqzsh'\n\n<h2 class="traceback">Traceback
(most recent call last)\n<div class="traceback">\n \n
- <div class="frame" id="frame-140672796084208">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">2464,\n in <code class="function">__call__
\n <div class="source library"><pre class="line before"><span class="ws"> \n<pre class="line before"><span class="ws"> def call(self, environ, start_response):\n<pre class="line before"><span class="ws"> """The WSGI server calls the Flask application object as the\n<pre class="line before"><span class="ws"> WSGI application. This calls :meth:wsgi_app
which can be\n<pre class="line before"><span class="ws"> wrapped to applying middleware."""\n<pre class="line current"><span class="ws"> return self.wsgi_app(environ, start_response)\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> def repr(self):\n<pre class="line after"><span class="ws"> return "<%s %r>" % (self.class.name, self.name)\n\n\n
- <div class="frame" id="frame-140672796084304">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">2450,\n in <code class="function">wsgi_app
\n <div class="source library"><pre class="line before"><span class="ws"> try:\n<pre class="line before"><span class="ws"> ctx.push()\n<pre class="line before"><span class="ws"> response = self.full_dispatch_request()\n<pre class="line before"><span class="ws"> except Exception as e:\n<pre class="line before"><span class="ws"> error = e\n<pre class="line current"><span class="ws"> response = self.handle_exception(e)\n<pre class="line after"><span class="ws"> except: # noqa: B001\n<pre class="line after"><span class="ws"> error = sys.exc_info()[1]\n<pre class="line after"><span class="ws"> raise\n<pre class="line after"><span class="ws"> return response(environ, start_response)\n<pre class="line after"><span class="ws"> finally:\n\n\n
- <div class="frame" id="frame-140672796085024">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">1867,\n in <code class="function">handle_exception
\n <div class="source library"><pre class="line before"><span class="ws"> # if we want to repropagate the exception, we can attempt to\n<pre class="line before"><span class="ws"> # raise it with the whole traceback in case we can do that\n<pre class="line before"><span class="ws"> # (the function was actually called from the except part)\n<pre class="line before"><span class="ws"> # otherwise, we just raise the error again\n<pre class="line before"><span class="ws"> if exc_value is e:\n<pre class="line current"><span class="ws"> reraise(exc_type, exc_value, tb)\n<pre class="line after"><span class="ws"> else:\n<pre class="line after"><span class="ws"> raise e\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> self.log_exception((exc_type, exc_value, tb))\n<pre class="line after"><span class="ws"> server_error = InternalServerError()\n\n\n
- <div class="frame" id="frame-140672796084256">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/_compat.py",\n line <em class="line">39,\n in <code class="function">reraise
\n <div class="source library"><pre class="line before"><span class="ws"> import collections.abc as collections_abc\n<pre class="line before"><span class="ws"> \n<pre class="line before"><span class="ws"> def reraise(tp, value, tb=None):\n<pre class="line before"><span class="ws"> if value.traceback is not tb:\n<pre class="line before"><span class="ws"> raise value.with_traceback(tb)\n<pre class="line current"><span class="ws"> raise value\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> implements_to_string = _identity\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws">else:\n<pre class="line after"><span class="ws"> iterkeys = lambda d: d.iterkeys()\n\n\n
- <div class="frame" id="frame-140672796082384">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">2447,\n in <code class="function">wsgi_app
\n <div class="source library"><pre class="line before"><span class="ws"> ctx = self.request_context(environ)\n<pre class="line before"><span class="ws"> error = None\n<pre class="line before"><span class="ws"> try:\n<pre class="line before"><span class="ws"> try:\n<pre class="line before"><span class="ws"> ctx.push()\n<pre class="line current"><span class="ws"> response = self.full_dispatch_request()\n<pre class="line after"><span class="ws"> except Exception as e:\n<pre class="line after"><span class="ws"> error = e\n<pre class="line after"><span class="ws"> response = self.handle_exception(e)\n<pre class="line after"><span class="ws"> except: # noqa: B001\n<pre class="line after"><span class="ws"> error = sys.exc_info()[1]\n\n\n
- <div class="frame" id="frame-140672795709696">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">1952,\n in <code class="function">full_dispatch_request
\n <div class="source library"><pre class="line before"><span class="ws"> request_started.send(self)\n<pre class="line before"><span class="ws"> rv = self.preprocess_request()\n<pre class="line before"><span class="ws"> if rv is None:\n<pre class="line before"><span class="ws"> rv = self.dispatch_request()\n<pre class="line before"><span class="ws"> except Exception as e:\n<pre class="line current"><span class="ws"> rv = self.handle_user_exception(e)\n<pre class="line after"><span class="ws"> return self.finalize_request(rv)\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> def finalize_request(self, rv, from_error_handler=False):\n<pre class="line after"><span class="ws"> """Given the return value from a view function this finalizes\n<pre class="line after"><span class="ws"> the request by converting it into a response and invoking the\n\n\n
- <div class="frame" id="frame-140672795711232">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">1821,\n in <code class="function">handle_user_exception
\n <div class="source library"><pre class="line before"><span class="ws"> return self.handle_http_exception(e)\n<pre class="line before"><span class="ws"> \n<pre class="line before"><span class="ws"> handler = self._find_error_handler(e)\n<pre class="line before"><span class="ws"> \n<pre class="line before"><span class="ws"> if handler is None:\n<pre class="line current"><span class="ws"> reraise(exc_type, exc_value, tb)\n<pre class="line after"><span class="ws"> return handler(e)\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> def handle_exception(self, e):\n<pre class="line after"><span class="ws"> """Handle an exception that did not have an error handler\n<pre class="line after"><span class="ws"> associated with it, or that was raised from an error handler.\n\n\n
- <div class="frame" id="frame-140672795710128">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/_compat.py",\n line <em class="line">39,\n in <code class="function">reraise
\n <div class="source library"><pre class="line before"><span class="ws"> import collections.abc as collections_abc\n<pre class="line before"><span class="ws"> \n<pre class="line before"><span class="ws"> def reraise(tp, value, tb=None):\n<pre class="line before"><span class="ws"> if value.traceback is not tb:\n<pre class="line before"><span class="ws"> raise value.with_traceback(tb)\n<pre class="line current"><span class="ws"> raise value\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> implements_to_string = identity\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws">else:\n<pre class="line after"><span class="ws"> iterkeys = lambda d: d.iterkeys()\n\n\n- <div class="frame" id="frame-140672795710032">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">1950
,\n in <code class="function">full_dispatch_request\n <div class="source library"><pre class="line before"><span class="ws"> self.try_trigger_before_first_request_functions()\n<pre class="line before"><span class="ws"> try:\n<pre class="line before"><span class="ws"> request_started.send(self)\n<pre class="line before"><span class="ws"> rv = self.preprocess_request()\n<pre class="line before"><span class="ws"> if rv is None:\n<pre class="line current"><span class="ws"> rv = self.dispatch_request()\n<pre class="line after"><span class="ws"> except Exception as e:\n<pre class="line after"><span class="ws"> rv = self.handle_user_exception(e)\n<pre class="line after"><span class="ws"> return self.finalize_request(rv)\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> def finalize_request(self, rv, from_error_handler=False):\n\n\n
- <div class="frame" id="frame-140672795709600">\n
File <cite class="filename">"/usr/local/lib/python3.8/dist-packages/flask/app.py",\n line <em class="line">1936,\n in <code class="function">dispatch_request
\n <div class="source library"><pre class="line before"><span class="ws"> getattr(rule, "provide_automatic_options", False)\n<pre class="line before"><span class="ws"> and req.method == "OPTIONS"\n<pre class="line before"><span class="ws"> ):\n<pre class="line before"><span class="ws"> return self.make_default_options_response()\n<pre class="line before"><span class="ws"> # otherwise dispatch to the handler for that endpoint\n<pre class="line current"><span class="ws"> return self.view_functionsrule.endpoint\n<pre class="line after"><span class="ws"> \n<pre class="line after"><span class="ws"> def full_dispatch_request(self):\n<pre class="line after"><span class="ws"> """Dispatches the request and on top of that performs request\n<pre class="line after"><span class="ws"> pre and postprocessing as well as HTTP exception catching and\n<pre class="line after"><span class="ws"> error handling.\n\n\n
- <div class="frame" id="frame-140672795711808">\n
File <cite class="filename">"/javaparser/restService.py",\n line <em class="line">41,\n in <code class="function">runASTExtractor
\n <div class="source "><pre class="line before"><span class="ws"> output = "res" + getRandomString(8)\n<pre class="line before"><span class="ws"> \n<pre class="line before"><span class="ws"> orderToRun = "python3 process.py --key " + key + " --dbName " + dbName + " --sourceFileName " + quote(sourceFileName, safe='') + " --generate " + generate + " --output " + output\n<pre class="line before"><span class="ws"> os.system(orderToRun)\n<pre class="line before"><span class="ws"> \n<pre class="line current"><span class="ws"> f = open(output,'r')\n<pre class="line after"><span class="ws"> outputFileContent=json.load(f)\n<pre class="line after"><span class="ws"> os.system("rm " + output)\n<pre class="line after"><span class="ws"> answers=[]\n<pre class="line after"><span class="ws"> for entry in outputFileContent:\n<pre class="line after"><span class="ws"> if str(entry['code'])[0] != "2":\n\n
\n
FileNotFoundError: [Errno 2] No such file or directory: 'res_ywyfqzsh'
\n\n\n<div class="plain">\n <form action="/?__debugger__=yes&cmd=paste" method="post">\n
\n <input type="hidden" name="language" value="pytb">\n This is the Copy/Paste friendly version of the traceback. <span\n class="pastemessage">You can also paste this traceback into\n a <a href="https://gist.github.com/">gist:\n <input type="submit" value="create paste">\n
\n <textarea cols="50" rows="10" name="code" readonly>Traceback (most recent call last):\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 2464, in
call\n return self.wsgi_app(environ, start_response)\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 2450, in wsgi_app\n response = self.handle_exception(e)\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 1867, in handle_exception\n reraise(exc_type, exc_value, tb)\n File "/usr/local/lib/python3.8/dist-packages/flask/_compat.py", line 39, in reraise\n raise value\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 2447, in wsgi_app\n response = self.full_dispatch_request()\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 1952, in full_dispatch_request\n rv = self.handle_user_exception(e)\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 1821, in handle_user_exception\n reraise(exc_type, exc_value, tb)\n File "/usr/local/lib/python3.8/dist-packages/flask/_compat.py", line 39, in reraise\n raise value\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 1950, in full_dispatch_request\n rv = self.dispatch_request()\n File "/usr/local/lib/python3.8/dist-packages/flask/app.py", line 1936, in dispatch_request\n return self.view_functions
rule.endpoint\n File "/javaparser/restService.py", line 41, in runASTExtractor\n f = open(output,'r')\nFileNotFoundError: [Errno 2] No such file or directory: 'res_ywyfqzsh'\n \n\n<div class="explanation">\n The debugger caught an exception in your WSGI application. You can now\n look at the traceback which led to the error. <span class="nojavascript">\n If you enable JavaScript you can also use additional features such as code\n execution (if the evalex feature is enabled), automatic pasting of the\n exceptions and much more.\n\n <div class="footer">\n Brought to you by <strong class="arthur">DON'T PANIC, your\n friendly Werkzeug powered traceback interpreter.\n \n \n\n <div class="pin-prompt">\n <div class="inner">\n
Console Locked
\n
\n The console is locked and needs to be unlocked by entering the PIN.\n You can find the PIN printed out on the standard output of your\n shell that runs the server.\n
\n
PIN:\n \n <input type=submit name=btn value="Confirm Pin">\n
\n \n \n \n