| Pretraživanje | Osvježi |
|
MicrosVuln
@microsvuln
|
29. lis |
|
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
github.com/enzet/symbolic…
#timeline #symbolic_execution #sat #smt #solvers #smt_solver #fuzzing #taint_tracking #taint
|
||
|
||
|
Freddy Mallet
@FreddyMallet
|
5. velj 2016. |
|
Quality issue found by SQ Java analyser in ApacheDS
#symbolic_execution
nemo.sonarqube.org/issues/search#… pic.twitter.com/zw3t6VDoBY
|
||
|
||
|
Practical Program Analysis
@ProgramAnalysis
|
21. ruj 2018. |
|
Want to hear about automated tools and techniques to find bugs? (#static_analysis, #fuzzing, #symbolic_execution...) Come see our talk on Sat at 0900 #ShellCon2018 #ShellCon @ShellConLa shellcon.io/talks/#automat…
|
||
|
|
||
|
|
Freddy Mallet
@FreddyMallet
|
5. velj 2016. |
|
JDK itself can contain some "stupid" pieces of code
#symbolic_execution #Java @SonarQube
nemo.sonarqube.org/issues/search#… pic.twitter.com/xuHYaAo3S4
|
||
|
||
|
Sassafras4ucom
@sassafras4ucom
|
6. lip 2016. |
|
82 (6-7): #Debugging system for complex analysis of programs that import huge swaths of commonly used #code. #symbolic_execution
|
||
|
|
||
|
|
Freddy Mallet
@FreddyMallet
|
3. ožu 2016. |
|
Et de @SonarLint, et de #bugs et de #code_smells et de #symbolic_execution et ... :) twitter.com/arnaudmaichac/…
|
||
|
|
||
|
David Nolen
@swannodette
|
14. stu 2011. |
|
|
||
