christoph/fail
1
Fork 0
Code Releases Activity

resultbrowser: remove circular detaildealer import

Browse Source
This commit is contained in:
Christoph Urlacher
2026-01-18 20:58:13 +01:00
parent eaba782ca6
commit 654cd1dc9e
5 changed files with 198 additions and 91 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
tools/analysis/resultbrowser/app/views.py
View File

@ -1,42 +1,53 @@
from flask import render_template,request
from flask import render_template, request
from app import app
# import model
# import data
from . import model
from . import data
@app.route('/')
@app.route('/index')
@app.route("/")
@app.route("/index")
def index():
reload_overview = request.args.get('reload', False)
reload_overview = request.args.get("reload", False)
if reload_overview:
print("Reloading overview...")
model.reloadOverview()
return render_template("index.html", overview=model.getOverview(), objdump_there = model.objdumpExists())
return render_template(
"index.html", overview=model.getOverview(), objdump_there=model.objdumpExists()
)
@app.route('/code')
@app.route("/code")
def code():
variant_id = request.args.get('variant_id', None)
resulttype = request.args.get('resulttype', None)
table = request.args.get('table', None)
res,restypes = model.getCode(table, variant_id, resulttype)
variant_id = request.args.get("variant_id", None)
resulttype = request.args.get("resulttype", None)
table = request.args.get("table", None)
res, restypes = model.getCode(table, variant_id, resulttype)
var_dets = model.getOverview().getVariantById(variant_id)
return render_template("code.html", results=res, resulttypes=restypes, variant_details=var_dets )
return render_template(
"code.html", results=res, resulttypes=restypes, variant_details=var_dets
)
@app.route('/instr_details')
@app.route("/instr_details")
def instr_details():
table = request.args.get('table', None)
variant_id = request.args.get('variant_id', None)
instr_addr = request.args.get('instr_address', None)
resulttype = request.args.get('resulttype', None)
table = request.args.get("table", None)
variant_id = request.args.get("variant_id", None)
instr_addr = request.args.get("instr_address", None)
resulttype = request.args.get("resulttype", None)
codeexcerpt = model.getCodeExcerpt(variant_id, instr_addr)
var_dets = model.getOverview().getVariantById(variant_id)
results = model.getResultsbyInstruction(table, variant_id, instr_addr, resulttype)
return render_template("instr_details.html", code=codeexcerpt, result=results, variant_details=var_dets)
return render_template(
"instr_details.html", code=codeexcerpt, result=results, variant_details=var_dets
)
@app.route('/about')
@app.route("/about")
def about():
stat = model.showDBstatus()
return render_template("about.html", status=stat)