Software for security analysis?

Question

C++ / C#

Hello dear ladies and gentlemen.

Answer 1

I didn’t really understand what the diploma chip is (it seems to be clear that you can find a constant from the binary and change it. Even the source code is not needed here), but that’s not the point.
In general, this somehow remotely resembles software certification systems (do you happen to work in this area?). Accordingly, you can search for literature about hybrid software analyzes (static + dynamic). Of the systems known to me, there is AK-VS . You can just look for vulnerability scanners - there are a lot of them . Accordingly, it is already possible to search for literature on this topic. From the literature, this comrade has a book "Software Engineering. Quality Assurance of Software Tools by Static Analysis Methods", maybe you will find something there.