我正在考虑使用符号执行来测试用特定语言（例如java）编写的程序的稳健性。我读过一些介绍符号执行基本概念的论文。但我不清楚如何开始。
例如，如何从具体输入生成约束条件？那么任何人都可以给我一些有关符号执行实现的基础知识的建议吗？此外，concolic执行（具体+象征）怎么样？
在阅读Python 3.4引入的ssl.create_default_context()函数时,我遇到了"Opinionated API"一词,这是什么意思？这种API的风格是什么？为什么我们称之为"自以为是"？
非常感谢.