repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
flow: set loop_count to zero when parsing inline functions
2018-01-25
Dan Carpe
n
te
r
flow
:
set loop_count to
z
ero when parsing inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
c
o
re:
s
il
e
n
c
e so
m
e false positives fro
m
par
s
i
n
g invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
an Carpenter
i
mplied: use
a
t
i
me based time
o
ut inst
e
ad of cou
n
ti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan
Carpenter
e
x
tra: handle
l
oops
like: while (--i >= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
Carpente
r
function_hooks: fake an assignment when functions return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
ch
e
ck_
f
ree_str
i
ct: New s
t
ricter cros
s
f
unction
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atomic_inc_dec: track at
o
mic_inc() and a
t
omic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
as
s
ign
e
d_exp
r
: handle f
a
k
e
assignment
s
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan C
a
rpenter
assign
e
d_e
x
pr: remove
debug
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
kernel_print
f
: %px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Ca
r
penter
stree: debug
g
ing: print the number of states in __
p
rint_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an Carpe
n
ter
mtag: commit all
m
t
a
g related code to da
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
a
r
pente
r
smdb
.
py: fix s
o
m
e crashi
n
g
b
ugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
c
o
n
t
a
iner_of: handle function ca
l
ls like foo-
>
bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan C
a
rpent
e
r
smatch: g
e
t the smatch b
i
n dir correctly wh
e
n
i
t's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_d
a
ta2: empty states are not
u
ser da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
constrai
n
ts_required: improve handling of assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
db: d
o
n't split
by NUL
L
vs non-NULL whe
n
there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
flo
w
: s
t
ore a
b
a
c
k
up of the start time
when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
helper: chang
e
some
nonsense
v
a
lues to other
nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
DB: intr
o
duce
a
timeou
t
h
a
ndling caller
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
a
ddress: fix
handlin
g
of &
f
oo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
contstraint
s
: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carp
e
nter
constraints:
m
ove print_
r
eturn_implies_c
o
nst
r
ained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
constraints: clean
u
p un
m
et_constraint
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
constraints: fix add_co
n
straint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Ca
r
pen
t
e
r
mtag: introduce
c
r
e
ate_mta
g
_alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Car
p
ente
r
mtag: fix
g
et_mtag() for recorded states and for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpent
e
r
li
n
ks:
n
o
ne
e
d t
o
r
e
cord links outside a functi
o
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpente
r
typ
e
_v
a
l
:
cac
h
e DB
info as a s
p
eed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
str
i
ng_list: prevent a us
e
after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
D
a
n C
a
rpenter
mtag: rena
m
e from mtags plural to mtag sin
g
ular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpent
e
r
helpe
r
:
keep a small cache of recent
l
y used variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpente
r
extra: pass expression poi
n
ter to mod
/
nomod hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
e
xtra: w
r
ite i
n
frastructu
r
e to pass e
x
p
r t
o
no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Car
p
enter
d
b/build_early_index
.
sh: set up more
m
tag index
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
expressions: initialize ->member_offset() i
n
m
e
mber_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
f
unction_hooks: set path im
p
ossi
b
le
i
f we cull everythin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
C
a
rpenter
mta
g
s
: remove
the
&
pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
scripts/gen_all
o
cati
o
n_list
.
sh:
a
dd __al
l
oc
_
skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpe
n
t
e
r
db/fixup_kern
e
l
.
sh: snprintf() r
e
turns aren
'
t
really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
C
a
rpenter
ex
t
ra
:
pass
t
he modif
i
ed expression to e
x
tra_mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
extra: st
o
re va
l
ues fo
r
e
xpressio
n
s like "fo
o
[3
]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
addr
e
ss:
d
o
n't segfault parsin
g
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rp
e
nter
ign
o
r
e
: re-
w
rite an
d
add _exp
r
() vers
i
ons of
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Carpen
t
e
r
param_set/filter: PAR
A
M_SET inste
a
d of P
A
R
AM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
p
arse_call
_
ma
t
h:
u
se as
s
ig
n
e
d
v
a
lues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
sval: improve
s
val_bino
p
_ove
r
flows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpent
e
r
extra
:
don't modify cons
t
para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
a
ddress/type: make
so
m
e funct
i
on parame
t
ers const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an C
a
rpenter
s
truct
_
a
s
signment: remo
v
e a
n
duplica
t
e NULL ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
t
ruct_assignme
n
t: don
'
t dou
b
le parse ulong
assignm
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Car
p
enter
st
r
uct_assignment: f
i
x a NULL de
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arp
e
nter
db/mtag
s
: add mtag
_
data
a
nd
m
tag_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
db/fn_pt
r
_data_lin
k
:
d
o
n
't store dup
l
icat
e
records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpenter
db
:
allow
SQ
L
statements t
o
be run late
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rpenter
db: introduce ge
t
_mtag_n
a
me_e
x
pr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
p
ente
r
stru
c
t
_ass
i
gnment: handle non struct, pointer assign
m
e
n
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
enter
struc
t
_assignment: f
i
x
handling of non_s
t
ruct_as
s
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpenter
struct_assignment
:
split
handle_non_struct
_
assigmen
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Ca
r
penter
index_overflow: make all
message
s
"error:" inst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_overfl
o
w: small clean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
in
d
e
x
_ove
r
flow: don't warn about i
m
possible path
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpenter
mtag: int
r
oduc
e
mem
o
ry tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
implications:
s
et_stat
e
() should t
r
ump implicat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
D
an
C
arpenter
buf_comparison:
c
opy the
c
ode
f
r
om smatch_co
n
str
a
ints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carp
e
n
t
er
implied
:
improve the "t
o
o hai
r
y" messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Da
n
Carp
e
nter
c
o
mparison: s
t
ore the expressions involved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan
Carpenter
co
m
p
ari
s
on: r
e
name va
r
1
t
o
left_
v
ar and var
2
t
o
right_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
con
s
t
ra
i
nts_required: detec
t
a
bu
n
ch of new types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n
Carpe
n
ter
cons
t
raints: allow function constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpe
n
ter
constraints: don't store
s
igned vs uns
i
gne
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
D
a
n Carpenter
kernel_printf: don't se
g
f
a
ult on
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
an Carpenter
u
s
er_data: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
type_va
l
: use s
m
atch_co
n
tainer_of()
i
nfor
m
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Da
n
C
a
r
penter
use
r
_da
t
a: thi
s
file is repla
c
e
d
b
y chec
k
_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Carpenter
impl
i
ed: add a t
i
meou
t
in smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
flow:
d
e
let
e
o
u
t of scope var
i
able
s
for
compound
statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
sco
p
e
:
move a check fo
r
STMT_COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validati
o
n/sm
_
casts
.
c: update
to not
use
a
n
unintialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
pente
r
re
v
ert "sma
t
ch_type
.
c: compa
r
iso
n
e
x
pressions always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
validation/sm_buf_si
z
e6
.
c: upd
a
te for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
p
a
rse: make an
array larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
helper: fix get_a
r
ray_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
assigned
_
ex
p
r: save a record when
a
function sets
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
mod
i
f
i
c
a
t
i
on_hooks: handle PA
R
AM_S
E
T
e
arlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
gitig
n
ore: ignore
.
smatch
,
.
smatc
h
.
sq
l
and
.
smatc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
r
penter
constraints: add a
c
o
mment
,
remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
const
r
ain
t
s_
r
equ
i
red: store mo
r
e required const
r
a
in
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpenter
cal
l
_
m
ath: add kza
l
loc()
t
o the list o
f
a
l
location
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpente
r
ca
l
l_mat
h
:
p
re
v
ent
a
n endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
allocation_funcs: add __al
l
oc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
constraints: fix selecting the required constraint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villem
o
e
s
check_kerne
l
_printf
.
c: warn about "
%
lx",
(long)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmu
s
V
illemoes
smatch_type
.
c
: compar
i
son expressions always
h
ave type in
t
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
s
m
atch_type
.
c: f
i
x
type
o
f
pointer
d
iff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
stru
c
t_assi
g
nment
:
fix
p
arsing
of
invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan
C
arpent
e
r
symbol: let is_ptr_type() take
NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Car
p
ente
r
core:
ad
d
NULL chec
k
s f
o
r
pars
i
n
g
invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan
Carpenter
get_us
e
r
_ov
e
r
flow: verify t
h
at that
i
t's a comp
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next